Searched refs:amdvi_ptp_level (Results 1 – 2 of 2) sorted by relevance
59 extern int amdvi_ptp_level; /* Page table levels. */596 if (max_ptp_level < amdvi_ptp_level) { in ivhd_print_cap()602 max_ptp_level, amdvi_ptp_level); in ivhd_print_cap()
100 int amdvi_ptp_level = 4; variable102 &amdvi_ptp_level, 0, NULL);103 TUNABLE_INT("hw.vmm.amdvi.ptp_level", &amdvi_ptp_level);1093 dom->ptp_level = amdvi_ptp_level; in amdvi_create_domain()1325 temp->pt_level = amdvi_ptp_level; in amdvi_set_dte()