ptp_hold
ptpbase32 = ptp_hold(vm, vcpuid, ptpphys, PAGE_SIZE,
ptpbase = ptp_hold(vm, vcpuid, ptpphys, sizeof (*ptpbase) * 4,
ptpbase = ptp_hold(vm, vcpuid, ptpphys, PAGE_SIZE, &cookie);