Home
last modified time | relevance | path

Searched refs:epCPtr (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/api/
A Dsyscall.c510 word_t epCPtr; in handleRecv() local
513 epCPtr = getRegister(NODE_STATE(ksCurThread), capRegister); in handleRecv()
515 lu_ret = lookupCap(NODE_STATE(ksCurThread), epCPtr); in handleRecv()
519 current_fault = seL4_Fault_CapFault_new(epCPtr, true); in handleRecv()
528 current_fault = seL4_Fault_CapFault_new(epCPtr, true); in handleRecv()
559 current_fault = seL4_Fault_CapFault_new(epCPtr, true); in handleRecv()
569 current_fault = seL4_Fault_CapFault_new(epCPtr, true); in handleRecv()

Completed in 7 milliseconds