pub const DEFAULT_GDT_SIZE: u64 = HV_PAGE_SIZE; // 4_096u64
The size of the default GDT table, in bytes.