Searched refs:l4p (Results 1 – 2 of 2) sorted by relevance
93 guest_l4e_t *l4p; in guest_walk_tables() local135 l4p = (guest_l4e_t *) top_map; in guest_walk_tables()136 gw->l4e = l4p[guest_l4_table_offset(va)]; in guest_walk_tables()461 if ( set_ad_bits(&l4p[guest_l4_table_offset(va)].l4, &gw->l4e.l4, in guest_walk_tables()
203 guest_l4e_t *l4p; in shadow_check_gwalk() local226 l4p = (guest_l4e_t *)v->arch.paging.shadow.guest_vtable; in shadow_check_gwalk()227 mismatch |= (gw->l4e.l4 != l4p[guest_l4_table_offset(va)].l4); in shadow_check_gwalk()
Completed in 12 milliseconds