Lines Matching refs:page
95 static int amdvi_host_ptp = 1; /* Use page tables for host. */
247 panic("AMDVi: Command buffer not aligned on page boundary.");
349 /* Invalidate IOMMU page, use for invalidation of domain. */
353 bool pde, bool page)
367 cmd->addr |= page ? AMDVI_INVD_PAGE_S : 0;
533 device_printf(softc->dev, "Event buffer not aligned on page.");
998 * If not present pages are cached, invalidate page after
1046 /* XXX: Add super-page or PTE mapping > 4KB. */
1048 /* Super-page mapping. */
1082 uint64_t *page, pa;
1103 page = malloc(PAGE_SIZE, M_AMDVI, M_WAITOK | M_ZERO);
1104 pa = vtophys(page);
1178 * If host domain is created w/o page table, skip IOMMU page
1194 * If host domain is created w/o page table, skip IOMMU page
1263 * page tables are not enabled.