_REGION2_ENTRY_EMPTY
p4d = boot_crst_alloc(_REGION2_ENTRY_EMPTY);
asce_type = _REGION2_ENTRY_EMPTY;
init_entry = _REGION2_ENTRY_EMPTY;
crst_table_init(table, _REGION2_ENTRY_EMPTY);
return p4d_val(p4d) == _REGION2_ENTRY_EMPTY;
set_p4d(p4d, __p4d(_REGION2_ENTRY_EMPTY));
table = base_crst_alloc(_REGION2_ENTRY_EMPTY);
table = base_crst_alloc(_REGION2_ENTRY_EMPTY);
crst_table_init(p4d, _REGION2_ENTRY_EMPTY);
p4d = vmem_crst_alloc(_REGION2_ENTRY_EMPTY);
p4d = vmem_crst_alloc(_REGION2_ENTRY_EMPTY);