Lines Matching full:ptp
1019 dom->ptp = malloc(PAGE_SIZE, M_AMDVI, M_WAITOK | M_ZERO);
1030 amdvi_free_ptp(uint64_t *ptp, int level)
1038 if ((ptp[i] & AMDVI_PT_PRESENT) == 0)
1043 if (AMDVI_PD_SUPER(ptp[i]))
1047 amdvi_free_ptp((uint64_t *)PHYS_TO_DMAP(ptp[i]
1051 free(ptp, M_AMDVI);
1064 if (domain->ptp)
1065 amdvi_free_ptp(domain->ptp, domain->ptp_level);
1134 uint64_t mapped, *ptp, len;
1141 ptp = domain->ptp;
1142 KASSERT(ptp, ("PTP is NULL"));
1145 len = amdvi_set_pt(ptp, level, gpa + mapped, hpa + mapped,
1166 if (domain->id && !domain->ptp) {
1167 printf("ptp is NULL");
1175 if (domain->ptp)
1191 if (domain->ptp)
1244 if (domain->ptp) {
1245 temp->pt_base = vtophys(domain->ptp) >> 12;