Lines Matching defs:tag
19 seL4_getFault(seL4_MessageInfo_t tag)
22 switch (seL4_MessageInfo_get_label(tag)) {
39 return seL4_getArchFault(tag);
45 seL4_isDebugException_tag(seL4_MessageInfo_t tag)
47 return seL4_MessageInfo_get_label(tag) == seL4_Fault_DebugException;
52 seL4_isVMFault_tag(seL4_MessageInfo_t tag)
54 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VMFault;
58 seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag)
60 return seL4_MessageInfo_get_label(tag) == seL4_Fault_UnknownSyscall;
64 seL4_isUserException_tag(seL4_MessageInfo_t tag)
66 return seL4_MessageInfo_get_label(tag) == seL4_Fault_UserException;
70 seL4_isNullFault_tag(seL4_MessageInfo_t tag)
72 return seL4_MessageInfo_get_label(tag) == seL4_Fault_NullFault;
76 seL4_isCapFault_tag(seL4_MessageInfo_t tag)
78 return seL4_MessageInfo_get_label(tag) == seL4_Fault_CapFault;
82 seL4_isTimeoutFault_tag(seL4_MessageInfo_t tag)
84 return seL4_MessageInfo_get_label(tag) == seL4_Fault_Timeout;