Lines Matching refs:nop_addr
8571 u64 nop_addr; in vmx_nmi_window_test() local
8591 nop_addr = vmcs_read(GUEST_RIP); in vmx_nmi_window_test()
8600 verify_nmi_window_exit(nop_addr); in vmx_nmi_window_test()
8611 verify_nmi_window_exit(nop_addr + 1); in vmx_nmi_window_test()
8634 verify_nmi_window_exit(nop_addr + 1); in vmx_nmi_window_test()
8651 verify_nmi_window_exit(nop_addr + 1); in vmx_nmi_window_test()
8706 u64 nop_addr; in vmx_intr_window_test() local
8766 nop_addr = vmcs_read(GUEST_RIP); in vmx_intr_window_test()
8777 verify_intr_window_exit(nop_addr + 1); in vmx_intr_window_test()
8786 vmcs_write(GUEST_RIP, nop_addr); in vmx_intr_window_test()
8789 verify_intr_window_exit(nop_addr + 1); in vmx_intr_window_test()
8803 verify_intr_window_exit(nop_addr + 3); in vmx_intr_window_test()
8817 verify_intr_window_exit(nop_addr + 3); in vmx_intr_window_test()