pub const VMALLOC_VIRT_START: u64 = 0xffff_c000_0000_0000;
Base virtual address of the vmalloc arena. Placed at 0xffffc000_0000_0000 : well above the HHDM direct map.