Searched defs:tag (Results 1 - 15 of 15) sorted by relevance

/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
66 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
72 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
66 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
72 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dfaults.h19 seL4_getFault(seL4_MessageInfo_t tag) argument
45 seL4_isDebugException_tag(seL4_MessageInfo_t tag) argument
52 seL4_isVMFault_tag(seL4_MessageInfo_t tag) argument
58 seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) argument
64 seL4_isUserException_tag(seL4_MessageInfo_t tag) argument
70 seL4_isNullFault_tag(seL4_MessageInfo_t tag) argument
76 seL4_isCapFault_tag(seL4_MessageInfo_t tag) argument
82 seL4_isTimeoutFault_tag(seL4_MessageInfo_t tag) argument
[all...]
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
H A Ddeprecated.h64 seL4_SetTag(seL4_MessageInfo_t tag) argument
88 seL4_isPageFault_Tag(seL4_MessageInfo_t tag) argument
94 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag) argument
112 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag) argument
118 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag) argument
[all...]
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h30 pde_pte_tag_t tag; member in struct:createMappingEntries_ret
/seL4-mcs-10.1.1/src/api/
H A Dfaults.c125 seL4_MessageInfo_t tag = messageInfoFromWord(getRegister(sender, msgInfoRegister)); local
/seL4-mcs-10.1.1/include/api/
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c674 multiboot2_tag_t const * tag = (multiboot2_tag_t *)(mbi2 + 1); local
[all...]
/seL4-mcs-10.1.1/src/kernel/
H A Dthread.c184 seL4_MessageInfo_t tag; local

Completed in 118 milliseconds