ptp_hold
ptpbase32 = ptp_hold(vcpu, ptpphys, PAGE_SIZE,
ptpbase = ptp_hold(vcpu, ptpphys, sizeof(*ptpbase) * 4,
ptpbase = ptp_hold(vcpu, ptpphys, PAGE_SIZE, &cookie);
ptep = ptp_hold(hypctx->vcpu, pte_addr, PAGE_SIZE, &cookie);