Searched refs:X86_64_PADDR_SPACE_LIMIT (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Doffsets.h21 #define PADDR_SPACE_LIMIT X86_64_PADDR_SPACE_LIMIT
44 assert(addr < X86_64_PADDR_SPACE_LIMIT);
55 return addr < X86_64_PADDR_SPACE_LIMIT;
/barrelfish-master/kernel/include/target/x86_64/
H A Doffsets_target.h67 #define X86_64_PADDR_SPACE_LIMIT ((genpaddr_t)1 << 40) macro
114 #define X86_64_MEMORY_OFFSET X86_64_PML4_ALIGN(-X86_64_PADDR_SPACE_LIMIT)
/barrelfish-master/kernel/arch/x86_64/
H A Dpaging.c25 #define PADDR_SPACE_LIMIT X86_64_PADDR_SPACE_LIMIT
H A Dinit.c458 if(paging_x86_64_map_memory(0, X86_64_PADDR_SPACE_LIMIT) != 0) {

Completed in 39 milliseconds