Searched refs:available2 (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/usr/acpi/ | ||
H A D | vtd_sl_paging.h | 51 uint64_t available2 :3; member in struct:sl_pdir_entry::__anon1429 78 uint64_t available2 :10; member in struct:sl_ptable_entry::__anon1430 94 uint64_t available2 :10; member in struct:sl_ptable_entry::__anon1431 108 uint64_t available2 :10; member in struct:sl_ptable_entry::__anon1432 |
/barrelfish-2018-10-04/tools/elver/ | ||
H A D | elver.c | 70 uint64_t available2 :11; member in struct:pdir_entry::__anon1421 95 uint64_t available2 :11; member in struct:ptable_entry::__anon1422 111 uint64_t available2 :11; member in struct:ptable_entry::__anon1423 |
/barrelfish-2018-10-04/kernel/include/target/x86_64/ | ||
H A D | paging_kernel_target.h | 71 uint64_t available2 :11; member in struct:x86_64_pdir_entry::__anon462 115 uint64_t available2 :11; member in struct:x86_64_ptable_entry::__anon463 134 uint64_t available2 :11; member in struct:x86_64_ptable_entry::__anon464 151 uint64_t available2 :11; member in struct:x86_64_ptable_entry::__anon465 |
Completed in 39 milliseconds