4532 	u64 high_bits_rsvd;  in __reset_rsvds_bits_mask()  local
4540 		high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 62);  in __reset_rsvds_bits_mask()
4542 		high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);  in __reset_rsvds_bits_mask()
4546 		high_bits_rsvd |= rsvd_bits(63, 63);  in __reset_rsvds_bits_mask()
4577 						   high_bits_rsvd |  in __reset_rsvds_bits_mask()
4580 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;	/* PDE */  in __reset_rsvds_bits_mask()
4581 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;	/* PTE */  in __reset_rsvds_bits_mask()
4582 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4588 		rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4595 		rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4598 		rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4600 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4601 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4604 		rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4607 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4645 	u64 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);  in __reset_rsvds_bits_mask_ept()  local
4654 	rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4655 	rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4656 	rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
4657 	rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()
4658 	rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask_ept()
4663 	rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
4664 	rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()