x86_64::regs

Constant BOOT_GDT_OFFSET

Source 
const BOOT_GDT_OFFSET: u64 = 0x1500;