Searched defs:X86_32_PTABLE_DIRTY (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/target/x86_32/barrelfish_kpi/ | ||
| H A D | paging_target.h | 56 #define X86_32_PTABLE_DIRTY (((paging_x86_32_flags_t)1) << 6) macro |
Completed in 79 milliseconds