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

/seL4-test-master/kernel/include/
H A Dhardware.h37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET) macro
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c201 if (reg.end > PADDR_TOP && reg.start > PADDR_TOP) {
210 if (reg.end > PADDR_TOP) {
211 assert(reg.start <= PADDR_TOP);
213 reg.end = PADDR_TOP;
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c92 for (paddr = 0; paddr < PADDR_TOP;
161 for (pd_index = 0; pd_index < PADDR_TOP >> seL4_HugePageBits; pd_index++) {
189 for (paddr = 0; paddr < PADDR_TOP;
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c64 if (ui_p_reg.start < PADDR_TOP) {
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c243 assert(phys == PADDR_TOP);
/seL4-test-master/kernel/src/kernel/
H A Dboot.c693 if (pptr_to_paddr((void *)p) > PADDR_TOP) {
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c254 assert(phys == PADDR_TOP);
2519 if (pstart < physBase || ((end - start) + pstart) > PADDR_TOP) {
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c263 for (paddr = PADDR_BASE; paddr < PADDR_TOP; paddr += BIT(seL4_LargePageBits)) {
2248 if (pstart < PADDR_BASE || ((end - start) + pstart) > PADDR_TOP) {

Completed in 71 milliseconds