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

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h92 #define X86_64_PAGING_BASE_BASE_BITS \ macro
147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
/barrelfish-master/usr/arrakismon/
H A Dpaging.h65 #define X86_64_PAGING_BASE_BASE_BITS \ macro
99 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
158 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h73 #define X86_64_PAGING_BASE_BASE_BITS \ macro
90 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
108 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
170 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
222 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h61 #define X86_64_PAGING_BASE_BASE_BITS \ macro
147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h61 #define X86_64_PAGING_BASE_BASE_BITS \ macro
147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS;

Completed in 106 milliseconds