hati_load_common
if (hati_load_common(hat, va, pp, attr, flags, level, pfn) != 0)
while (hati_load_common(hat, va, pages[pgindx], attr,
while (hati_load_common(hat, va, pp, a, f, level, pfn) != 0) {
while (hati_load_common(hat, vaddr, pp, prot, flags,
ret = hati_load_common(cpu_hat, va, NULL, attrs, 0, 0, pfn);