Searched refs:Exclaves_L4_IpcBuffer (Results 1 – 3 of 3) sorted by relevance
323 Exclaves_L4_IpcBuffer(Exclaves_L4_Void_t) in Exclaves_L4_IpcBuffer() function337 return Exclaves_L4_IpcBuffer()->mr[mr]; in Exclaves_L4_GetMr()343 Exclaves_L4_IpcBuffer()->mr[mr] = word; in Exclaves_L4_SetMr()350 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs()361 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs()372 return Exclaves_L4_IpcBuffer()->dcr[cr]; in Exclaves_L4_GetCr()374 return Exclaves_L4_IpcBuffer()->scr[cr]; in Exclaves_L4_GetCr()382 Exclaves_L4_IpcBuffer()->dcr[cr] = word; in Exclaves_L4_SetCr()384 Exclaves_L4_IpcBuffer()->scr[cr] = word; in Exclaves_L4_SetCr()
662 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler()712 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler()
800 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call()