Searched defs:page_table_base (Results 1 – 3 of 3) sorted by relevance
160 uint32_t page_table_base:28; member
161 uint32_t page_table_base:28; member
435 uint32_t page_table_base; member