Lines Matching defs:tag
60 return seL4_GetIPCBuffer()->tag;
64 seL4_SetTag(seL4_MessageInfo_t tag)
66 seL4_GetIPCBuffer()->tag = tag;
84 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
88 seL4_isPageFault_Tag(seL4_MessageInfo_t tag)
90 return seL4_isVMFault_tag(tag);
94 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag)
96 return seL4_isUnknownSyscall_tag(tag);
112 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag)
114 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
118 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag)
120 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;