Searched refs:ptp_level (Results 1 – 2 of 2) sorted by relevance
101 SYSCTL_INT(_hw_vmm_amdvi, OID_AUTO, ptp_level, CTLFLAG_RDTUN,1093 dom->ptp_level = amdvi_ptp_level; in amdvi_create_domain()1137 amdvi_free_ptp(domain->ptp, domain->ptp_level); in amdvi_destroy_domain()1210 level = domain->ptp_level; in amdvi_update_mapping()
354 int ptp_level; /* Level of page tables */ member