Searched refs:guest_l2e_rsvd_bits (Results 1 – 3 of 3) sorted by relevance
299 else if ( guest_l2e_rsvd_bits(v, gw->l2e) ) in guest_walk_tables()
301 static always_inline bool guest_l2e_rsvd_bits(const struct vcpu *v, in guest_l2e_rsvd_bits() function
747 ASSERT(!guest_l2e_rsvd_bits(v, gl2e)); in l2e_propagate_from_guest()2187 !guest_l2e_rsvd_bits(v, new_gl2e) ) in validate_gl2e()
Completed in 14 milliseconds