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

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h87 #define X86_64_PAGING_RESERVED_BITS \ macro
132 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
148 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
/barrelfish-master/usr/arrakismon/
H A Dpaging.h56 #define X86_64_PAGING_RESERVED_BITS \ macro
100 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
125 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
143 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
159 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h64 #define X86_64_PAGING_RESERVED_BITS \ macro
91 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
109 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
135 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
154 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
171 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
192 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
208 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
223 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h56 #define X86_64_PAGING_RESERVED_BITS \ macro
132 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
148 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h56 #define X86_64_PAGING_RESERVED_BITS \ macro
132 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;
148 uint64_t reserved2 :X86_64_PAGING_RESERVED_BITS;

Completed in 94 milliseconds