Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

Searched defs:seL4_Domain (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A D	types.h	`39 typedef dom_t seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A D	types.h	`14 typedef seL4_Word seL4_Domain; typedef`
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A D	types.h	`43 typedef dom_t seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A D	types.h	`15 typedef seL4_Word seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A D	types.h	`15 typedef seL4_Word seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A D	types.h	`15 typedef seL4_Word seL4_Domain; typedef`
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A D	types.h	`34 typedef dom_t seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A D	types.h	`15 typedef seL4_Word seL4_Domain; typedef`
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A D	types.h	`23 typedef seL4_Word seL4_Domain; typedef`

Completed in 66 milliseconds