Searched refs:reserved_hpa_bits (Results 1 – 1 of 1) sorted by relevance
4392 static inline u64 reserved_hpa_bits(void) in reserved_hpa_bits() function4425 __reset_rsvds_bits_mask(shadow_zero_check, reserved_hpa_bits(), in reset_shadow_zero_bits_mask()4459 __reset_rsvds_bits_mask(shadow_zero_check, reserved_hpa_bits(), in reset_tdp_shadow_zero_bits_mask()4465 reserved_hpa_bits(), false); in reset_tdp_shadow_zero_bits_mask()4485 reserved_hpa_bits(), execonly); in reset_ept_shadow_zero_bits_mask()