Searched refs:rwx_bits (Results 1 – 1 of 1) sorted by relevance
3685 int rwx_bits = pte & 7; in reset_rsvds_bits_mask_ept() local3688 rwx_bits == 0x2 || rwx_bits == 0x6 || in reset_rsvds_bits_mask_ept()3689 (rwx_bits == 0x4 && !execonly)) in reset_rsvds_bits_mask_ept()