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

/seL4-test-master/projects/sel4_projects_libs/libsel4dma/include/dma/
H A Ddma.h19 typedef uintptr_t paddr_t; typedef
/seL4-test-master/kernel/include/arch/x86/arch/
H A Dtypes.h22 typedef word_t paddr_t; typedef
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h11 typedef uintptr_t paddr_t; typedef
/seL4-test-master/kernel/include/arch/arm/arch/
H A Dtypes.h22 typedef word_t paddr_t; typedef
/seL4-test-master/kernel/include/arch/riscv/arch/
H A Dtypes.h19 typedef word_t paddr_t; typedef

Completed in 37 milliseconds