Searched refs:amdvi_ptp_level (Results 1 – 2 of 2) sorted by relevance
60 extern int amdvi_ptp_level; /* Page table levels. */621 if (max_ptp_level < amdvi_ptp_level) { in ivhd_print_cap()627 max_ptp_level, amdvi_ptp_level); in ivhd_print_cap()
98 int amdvi_ptp_level = 4; variable100 &amdvi_ptp_level, 0, NULL);101 TUNABLE_INT("hw.vmm.amdvi.ptp_level", &amdvi_ptp_level);1013 dom->ptp_level = amdvi_ptp_level; in amdvi_create_domain()1239 temp->pt_level = amdvi_ptp_level; in amdvi_set_dte()