REGION_ENTRY_ORIGIN
entry = addr_gpa2hva(vm, entry[idx] & REGION_ENTRY_ORIGIN);
*entry & REGION_ENTRY_ORIGIN);
*entry & REGION_ENTRY_ORIGIN);
return (taddr & REGION_ENTRY_ORIGIN)
entry = addr_gpa2hva(vm, entry[idx] & REGION_ENTRY_ORIGIN);