Searched defs:asid_pool (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/seL4/include/kernel/
H A Dboot.h116 pptr_t asid_pool; member in struct:__anon156
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dstructures.h23 struct asid_pool { struct
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/object/
H A Dstructures.h48 struct asid_pool { struct
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/object/
H A Dstructures.h99 struct asid_pool { struct
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/object/
H A Dstructures.h105 struct asid_pool { struct
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/object/
H A Dstructures.h91 struct asid_pool { struct

Completed in 97 milliseconds