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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h19 x86_make_device_pte(paddr_t phys) argument
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/
H A Dvspace.h25 x86_make_device_pte(paddr_t phys) argument
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace.c216 paddr_t phys; local
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c135 paddr_t phys; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c219 paddr_t phys; local
335 paddr_t phys; local
[all...]

Completed in 66 milliseconds