Searched refs:db_fault_addr (Results 1 – 1 of 1) sorted by relevance
8572 void *db_fault_addr = get_idt_addr(&boot_idt[DB_VECTOR]); in vmx_nmi_window_test() local8623 verify_nmi_window_exit((u64)db_fault_addr); in vmx_nmi_window_test()8666 verify_nmi_window_exit((u64)db_fault_addr); in vmx_nmi_window_test()8708 void *db_fault_addr = get_idt_addr(&boot_idt[DB_VECTOR]); in vmx_intr_window_test() local8753 verify_intr_window_exit((u64)db_fault_addr); in vmx_intr_window_test()8833 verify_intr_window_exit((u64)db_fault_addr); in vmx_intr_window_test()