Searched refs:rsvd_bits_mask (Results 1 – 3 of 3) sorted by relevance
4270 rsvd_check->rsvd_bits_mask[0][1] = 0; in __reset_rsvds_bits_mask()4271 rsvd_check->rsvd_bits_mask[0][0] = 0; in __reset_rsvds_bits_mask()4272 rsvd_check->rsvd_bits_mask[1][0] = in __reset_rsvds_bits_mask()4273 rsvd_check->rsvd_bits_mask[0][0]; in __reset_rsvds_bits_mask()4276 rsvd_check->rsvd_bits_mask[1][1] = 0; in __reset_rsvds_bits_mask()4282 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()4285 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()4288 rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) | in __reset_rsvds_bits_mask()4292 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd; /* PDE */ in __reset_rsvds_bits_mask()4293 rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd; /* PTE */ in __reset_rsvds_bits_mask()[all …]
295 return rsvd_check->rsvd_bits_mask[bit7][level-1]; in get_rsvd_bits()
393 u64 rsvd_bits_mask[2][PT64_ROOT_MAX_LEVEL]; member
