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

/seL4-camkes-master/kernel/include/
H A Dhardware.h37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET) macro

Completed in 29 milliseconds