Searched refs:guest_l1e_rsvd_bits (Results 1 – 3 of 3) sorted by relevance
343 if ( guest_l1e_rsvd_bits(v, gw->l1e) ) in guest_walk_tables()
295 static inline bool guest_l1e_rsvd_bits(const struct vcpu *v, guest_l1e_t l1e) in guest_l1e_rsvd_bits() function
795 ASSERT(!guest_l1e_rsvd_bits(v, gl1e)); in l1e_propagate_from_guest()2267 !guest_l1e_rsvd_bits(v, new_gl1e) ) in validate_gl1e()2332 !guest_l1e_rsvd_bits(v, gl1e) ) in sh_resync_l1()2664 !guest_l1e_rsvd_bits(v, gl1e) ) in sh_prefetch()
Completed in 14 milliseconds