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

/seL4-master/src/kernel/
A D	faulthandler.c	87 tptr->tcbLookupFailure = original_lookup_fault; in sendFaultIPC()
/seL4-master/include/object/
A D	structures.h	262 lookup_fault_t tcbLookupFailure; member
/seL4-master/src/api/
A D	faults.c	201 sender->tcbLookupFailure, seL4_CapFault_LookupFailureType); in setMRs_fault()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023