Searched refs:X86_64_INIT_SPACE_LIMIT (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/target/x86_64/
H A Doffsets_target.h81 #define X86_64_INIT_SPACE_LIMIT (128 * 1024 * 1024) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dstartup_arch.c43 #define INIT_PDPT_SIZE X86_64_PDPT_ENTRIES(X86_64_INIT_SPACE_LIMIT)
44 #define INIT_PDIR_SIZE X86_64_PDIR_ENTRIES(X86_64_INIT_SPACE_LIMIT)
45 #define INIT_PTABLE_SIZE X86_64_PTABLE_ENTRIES(X86_64_INIT_SPACE_LIMIT)
115 assert(vbase + size - X86_64_INIT_VBASE < X86_64_INIT_SPACE_LIMIT);
300 for(lvaddr_t vaddr = X86_64_INIT_VBASE; vaddr < X86_64_INIT_SPACE_LIMIT;

Completed in 83 milliseconds