Searched refs:X86_64_PAGING_LARGE_BASE_BITS (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h90 #define X86_64_PAGING_LARGE_BASE_BITS \ macro
131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;
/barrelfish-master/usr/arrakismon/
H A Dpaging.h62 #define X86_64_PAGING_LARGE_BASE_BITS \ macro
142 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h59 #define X86_64_PAGING_LARGE_BASE_BITS \ macro
131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h70 #define X86_64_PAGING_LARGE_BASE_BITS \ macro
153 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;
207 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h59 #define X86_64_PAGING_LARGE_BASE_BITS \ macro
131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS;

Completed in 154 milliseconds