Searched refs:amdvi_ptp_level (Results 1 – 2 of 2) sorted by last modified time
58 extern int amdvi_ptp_level; /* Page table levels. */617 if (max_ptp_level < amdvi_ptp_level) { in ivhd_print_cap()623 max_ptp_level, amdvi_ptp_level); in ivhd_print_cap()
95 int amdvi_ptp_level = 4; variable97 &amdvi_ptp_level, 0, NULL);98 TUNABLE_INT("hw.vmm.amdvi.ptp_level", &amdvi_ptp_level);1018 dom->ptp_level = amdvi_ptp_level; in amdvi_create_domain()1243 temp->pt_level = amdvi_ptp_level; in amdvi_set_dte()