Lines Matching defs:ptp
1093 dom->ptp = malloc(PAGE_SIZE, M_AMDVI, M_WAITOK | M_ZERO);
1104 amdvi_free_ptp(uint64_t *ptp, int level)
1112 if ((ptp[i] & AMDVI_PT_PRESENT) == 0)
1117 if (AMDVI_PD_SUPER(ptp[i]))
1121 amdvi_free_ptp((uint64_t *)PHYS_TO_DMAP(ptp[i]
1126 free(ptp, M_AMDVI);
1139 if (domain->ptp)
1140 amdvi_free_ptp(domain->ptp, domain->ptp_level);
1209 uint64_t mapped, *ptp, len;
1216 ptp = domain->ptp;
1217 KASSERT(ptp, ("PTP is NULL"));
1220 len = amdvi_set_pt(ptp, level, gpa + mapped, hpa + mapped,
1241 if (domain->id && !domain->ptp) {
1242 printf("ptp is NULL");
1250 if (domain->ptp)
1266 if (domain->ptp)
1326 if (domain->ptp) {
1327 temp->pt_base = vtophys(domain->ptp) >> 12;