From 7a78d03b37622e9a1deabb93dc510fa06fb91e1b Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Date: Mon, 20 Oct 2014 15:51:20 +1100
Subject: [PATCH] libsel4: Unify ARM/IA32 IPC buffer functions.

Implements two trivial functions that were present for IA32, but not included
in the corresponding ARM header.

Closes SELFOUR-226
---
 .../arch_include/arm/sel4/arch/functions.h    | 23 +++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/libsel4/arch_include/arm/sel4/arch/functions.h b/libsel4/arch_include/arm/sel4/arch/functions.h
index b20e3ddb3..e97bec97c 100644
--- a/libsel4/arch_include/arm/sel4/arch/functions.h
+++ b/libsel4/arch_include/arm/sel4/arch/functions.h
@@ -69,12 +69,35 @@ seL4_GetBadge(int i)
     };
 }
 
+static inline seL4_CPtr
+seL4_GetCap(int i)
+{
+    return (seL4_CPtr)seL4_GetIPCBuffer()->caps_or_badges[i];
+}
+
 static inline void
 seL4_SetCap(int i, seL4_CPtr cptr)
 {
     seL4_GetIPCBuffer()->caps_or_badges[i] = (seL4_Word)cptr;
 }
 
+static inline void
+seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth)
+{
+    seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
+    if (receiveCNode != 0) {
+        *receiveCNode = ipcbuffer->receiveCNode;
+    }
+
+    if (receiveIndex != 0) {
+        *receiveIndex = ipcbuffer->receiveIndex;
+    }
+
+    if (receiveDepth != 0) {
+        *receiveDepth = ipcbuffer->receiveDepth;
+    }
+}
+
 static inline void
 seL4_SetCapReceivePath(seL4_CPtr receiveCNode, seL4_CPtr receiveIndex, seL4_Word receiveDepth)
 {