_ASCE_ORIGIN
opt = opt | (asce & _ASCE_ORIGIN);
return phys_to_virt(asce.val & _ASCE_ORIGIN);
unsigned long entry, *table = __va(asce & _ASCE_ORIGIN);
unsigned long *table = __va(asce & _ASCE_ORIGIN);