Lines Matching refs:l3_table_offset
65 l3e = l3t[l3_table_offset(addr)]; in do_page_walk()
138 switch ( l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & in m2p_mapped()
149 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]); in m2p_mapped()
170 l3_table_offset(v)]; in share_hotadd_m2p_table()
197 l3_table_offset(v)]; in share_hotadd_m2p_table()
231 ASSERT(l3e_get_flags(l3_ro_mpt[l3_table_offset(HIRO_COMPAT_MPT_VIRT_START)]) & _PAGE_PRESENT); in destroy_compat_m2p_mapping()
233 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(HIRO_COMPAT_MPT_VIRT_START)]); in destroy_compat_m2p_mapping()
278 if (!(l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & _PAGE_PRESENT) || in destroy_m2p_mapping()
279 (l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & _PAGE_PSE)) in destroy_m2p_mapping()
286 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]); in destroy_m2p_mapping()
299 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]); in destroy_m2p_mapping()
345 ASSERT(l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & _PAGE_PRESENT); in setup_compat_m2p_table()
347 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]); in setup_compat_m2p_table()
453 ASSERT(!(l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & in setup_m2p_table()
455 if ( l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) & in setup_m2p_table()
457 l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]) + in setup_m2p_table()
469 l3e_write(&l3_ro_mpt[l3_table_offset(va)], in setup_m2p_table()
578 l3e_write(&l3_ro_mpt[l3_table_offset(va)], in paging_init()
610 l3e_write(&l3_ro_mpt[l3_table_offset(va)], in paging_init()
633 l3e_write(&l3_ro_mpt[l3_table_offset(HIRO_COMPAT_MPT_VIRT_START)], in paging_init()
733 l3_table_offset(sva)]; in cleanup_frame_table()
847 l3_table_offset(v)]; in subarch_init_memory()
875 l3_table_offset(v)]; in subarch_init_memory()
931 l3_table_offset(v)]; in subarch_memory_op()