reserved_hpa_bits
__reset_rsvds_bits_mask(shadow_zero_check, reserved_hpa_bits(),
reserved_hpa_bits(), false,
reserved_hpa_bits(), execonly,