3443 				    enum Encoding encoding, unsigned bit,  in test_rsvd_ctl_bit_value()  argument
3464 	controls = vmcs_read(encoding);  in test_rsvd_ctl_bit_value()
3466 		vmcs_write(encoding, msr.set | mask);  in test_rsvd_ctl_bit_value()
3469 		vmcs_write(encoding, msr.set & ~mask);  in test_rsvd_ctl_bit_value()
3476 	vmcs_write(encoding, controls);  in test_rsvd_ctl_bit_value()
3485 			      enum Encoding encoding, unsigned bit)  in test_rsvd_ctl_bit()  argument
3487 	test_rsvd_ctl_bit_value(name, msr, encoding, bit, 0);  in test_rsvd_ctl_bit()
3488 	test_rsvd_ctl_bit_value(name, msr, encoding, bit, 1);  in test_rsvd_ctl_bit()
3610 			   enum Encoding encoding,  in test_vmcs_addr()  argument
3617 	vmcs_write(encoding, addr);  in test_vmcs_addr()
3634 				  enum Encoding encoding,  in test_vmcs_addr_values()  argument
3641 	u64 orig_val = vmcs_read(encoding);  in test_vmcs_addr_values()
3644 		test_vmcs_addr(name, encoding, align, ignored,  in test_vmcs_addr_values()
3647 	test_vmcs_addr(name, encoding, align, ignored,  in test_vmcs_addr_values()
3649 	test_vmcs_addr(name, encoding, align, ignored,  in test_vmcs_addr_values()
3651 	test_vmcs_addr(name, encoding, align, ignored,  in test_vmcs_addr_values()
3654 	test_vmcs_addr(name, encoding, align, ignored,  in test_vmcs_addr_values()
3657 	vmcs_write(encoding, orig_val);  in test_vmcs_addr_values()