Searched defs: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() local8708 void *db_fault_addr = get_idt_addr(&boot_idt[DB_VECTOR]); in vmx_intr_window_test() local