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

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h19 #define PADDR_LOAD 0x00100000 macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h23 #define PADDR_LOAD UL_CONST(0x00100000) macro
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h36 #define PADDR_LOAD 0x88000000lu macro
41 #define PADDR_LOAD 0xC0000000lu macro

Completed in 77 milliseconds