Searched refs:Exclaves_L4_IpcBuffer (Results 1 – 3 of 3) sorted by relevance
321 Exclaves_L4_IpcBuffer(Exclaves_L4_Void_t) in Exclaves_L4_IpcBuffer() function335 return Exclaves_L4_IpcBuffer()->mr[mr]; in Exclaves_L4_GetMr()341 Exclaves_L4_IpcBuffer()->mr[mr] = word; in Exclaves_L4_SetMr()348 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs()359 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs()370 return Exclaves_L4_IpcBuffer()->dcr[cr]; in Exclaves_L4_GetCr()372 return Exclaves_L4_IpcBuffer()->scr[cr]; in Exclaves_L4_GetCr()380 Exclaves_L4_IpcBuffer()->dcr[cr] = word; in Exclaves_L4_SetCr()382 Exclaves_L4_IpcBuffer()->scr[cr] = word; in Exclaves_L4_SetCr()
382 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler()428 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler()
839 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call()