Searched refs:pgd_update (Results 1 – 1 of 1) sorted by relevance
68 u32 pgd_update; member622 ADD_STATS(pgd_update, 1); in xen_set_pgd()1174 debugfs_create_u32("pgd_update", 0444, d_mmu_debug, &mmu_stats.pgd_update); in xen_mmu_debugfs()