Searched defs:vm_context_page_table_base_addr_hi32 (Results 1 – 2 of 2) sorted by relevance
52 uint32_t vm_context_page_table_base_addr_hi32; member
162 uint32_t vm_context_page_table_base_addr_hi32; member