Searched defs:phys (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h12 static inline pte_t x86_make_device_pte(paddr_t phys) argument
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/kernel/
H A Dvspace.h17 static inline pte_t x86_make_device_pte(paddr_t phys) argument
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/
H A Dvspace.c208 paddr_t phys; local
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dvspace.c131 paddr_t phys; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c199 paddr_t phys; local
315 paddr_t phys; local
[all...]

Completed in 55 milliseconds