x86_64::regs

Constant BOOT_IDT_OFFSET

Source 
const BOOT_IDT_OFFSET: u64 = 0x1528;