Searched refs:ADDR_VAR_IDT (Results 1 – 4 of 4) sorted by relevance
14 #define ADDR_VAR_IDT 0x3800 macro
208 VMSET(0x00006C0E, $ADDR_VAR_IDT) // host IDTR base255 VMSET(0x00006818, $ADDR_VAR_IDT) // Guest IDTR base
178 sregs->idt.base = guest_mem + ADDR_VAR_IDT; in setup_32bit_idt()231 sregs->idt.base = guest_mem + ADDR_VAR_IDT; in setup_64bit_idt()
1463 #define ADDR_VAR_IDT 0x38001690 sregs->idt.base = guest_mem + ADDR_VAR_IDT;1737 sregs->idt.base = guest_mem + ADDR_VAR_IDT;