portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libsel4: Unify ARM/IA32 IPC buffer functions.

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

Closes SELFOUR-226
This commit is contained in:
Matthew Fernandez 2014-10-20 15:51:20 +11:00
parent 04106920c3
commit 7a78d03b37
1 changed files with 23 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
libsel4/arch_include/arm/sel4/arch/functions.h
View file

@ -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)
{