Lines Matching refs:tag
61 return seL4_GetIPCBuffer()->tag;
65 seL4_SetTag(seL4_MessageInfo_t tag)
67 seL4_GetIPCBuffer()->tag = tag;
85 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
89 seL4_isPageFault_Tag(seL4_MessageInfo_t tag)
91 return seL4_isVMFault_tag(tag);
95 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag)
97 return seL4_isUnknownSyscall_tag(tag);
113 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag)
115 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
119 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag)
121 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;