2577 static void ept_ignored_bit(int bit)  in ept_ignored_bit()
2664 static void ept_reserved_bit_at_level_nohuge(int level, int bit)  in ept_reserved_bit_at_level_nohuge()
2674 static void ept_reserved_bit_at_level_huge(int level, int bit)  in ept_reserved_bit_at_level_huge()
2684 static void ept_reserved_bit_at_level(int level, int bit)  in ept_reserved_bit_at_level()
2694 static void ept_reserved_bit(int bit)  in ept_reserved_bit()
3443 				    enum Encoding encoding, unsigned bit,  in test_rsvd_ctl_bit_value()
3485 			      enum Encoding encoding, unsigned bit)  in test_rsvd_ctl_bit()
3499 	unsigned bit;  in test_pin_based_ctls()  local
3516 	unsigned bit;  in test_primary_processor_based_ctls()  local
3541 	unsigned bit;  in test_secondary_processor_based_ctls()  local
10242 	unsigned bit;  in vmx_vmcs_shadow_test_body()  local