Searched refs:BOOT_IDT_OFFSET (Results 1 – 1 of 1) sorted by relevance
211 const BOOT_IDT_OFFSET: u64 = 0x520; constant229 let boot_idt_addr = GuestAddress(BOOT_IDT_OFFSET); in write_idt_value()253 sregs.idt.base = BOOT_IDT_OFFSET as u64; in configure_segments_and_sregs()339 assert_eq!(0x0, read_u64(&gm, BOOT_IDT_OFFSET)); in segments_and_sregs()