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

/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h56 #define X86_64_PTABLE_BITS 9 /**< Page directory/table size in bits */ macro
59 #define X86_64_PTABLE_SIZE (1UL<<X86_64_PTABLE_BITS)
60 #define X86_64_PTABLE_NUM_ENTRIES (1UL<<X86_64_PTABLE_BITS)
/barrelfish-master/usr/arrakismon/
H A Dpaging.h61 2*X86_64_PTABLE_BITS))
64 X86_64_PTABLE_BITS))
123 uint64_t reserved :(2*X86_64_PTABLE_BITS)-1; // 12-29
141 uint64_t reserved :X86_64_PTABLE_BITS-1;
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h69 2*X86_64_PTABLE_BITS))
72 X86_64_PTABLE_BITS))
133 uint64_t reserved :(2*X86_64_PTABLE_BITS)-1; // 12-29
152 uint64_t reserved :X86_64_PTABLE_BITS-1;
190 uint64_t reserved :(2*X86_64_PTABLE_BITS)-1; // 12-29
206 uint64_t reserved :X86_64_PTABLE_BITS-1; // 12-20
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dpmap.c362 uint8_t map_bits = X86_64_BASE_PAGE_BITS + X86_64_PTABLE_BITS;
381 map_bits = X86_64_HUGE_PAGE_BITS + X86_64_PTABLE_BITS;
393 map_bits = X86_64_LARGE_PAGE_BITS + X86_64_PTABLE_BITS;
477 c = get_addr_prefix(vend, map_bits-X86_64_PTABLE_BITS) -
478 get_addr_prefix(temp_end, map_bits-X86_64_PTABLE_BITS);
642 map_bits = X86_64_BASE_PAGE_BITS + X86_64_PTABLE_BITS;
648 map_bits = X86_64_LARGE_PAGE_BITS + X86_64_PTABLE_BITS;
655 map_bits = X86_64_HUGE_PAGE_BITS + X86_64_PTABLE_BITS;
790 c = get_addr_prefix(vend, info.map_bits - X86_64_PTABLE_BITS) -
791 get_addr_prefix(vaddr, info.map_bits - X86_64_PTABLE_BITS);
[all...]

Completed in 50 milliseconds