boot_crst_alloc
pmd = boot_crst_alloc(_SEGMENT_ENTRY_EMPTY);
pud = boot_crst_alloc(_REGION3_ENTRY_EMPTY);
p4d = boot_crst_alloc(_REGION2_ENTRY_EMPTY);