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