hv_mach_pri
int64_t hv_mach_pri(paddr_t buffer, psize_t *length);
err = hv_mach_pri((paddr_t)NULL, &len);
err = hv_mach_pri(pa, &len);