_REGION3_ENTRY_EMPTY
pud = boot_crst_alloc(_REGION3_ENTRY_EMPTY);
asce_type = _REGION3_ENTRY_EMPTY;
crst_table_init((unsigned long *)invalid_pg_dir, _REGION3_ENTRY_EMPTY);
set_pte(ptep, __pte(_REGION3_ENTRY_EMPTY));
init_entry = _REGION3_ENTRY_EMPTY;
crst_table_init(table, _REGION3_ENTRY_EMPTY);
return pud_val(pud) == _REGION3_ENTRY_EMPTY;
set_pud(pud, __pud(_REGION3_ENTRY_EMPTY));
pudp_xchg_direct(mm, addr, pudp, __pud(_REGION3_ENTRY_EMPTY));
table = base_crst_alloc(_REGION3_ENTRY_EMPTY);
table = base_crst_alloc(_REGION3_ENTRY_EMPTY);
pud = vmem_crst_alloc(_REGION3_ENTRY_EMPTY);
pud = vmem_crst_alloc(_REGION3_ENTRY_EMPTY);