Searched refs:pgd_update_pinned (Results 1 – 1 of 1) sorted by relevance
90 u32 pgd_update_pinned; member761 ADD_STATS(pgd_update_pinned, 1); in xen_set_pgd()2456 &mmu_stats.pgd_update_pinned); in xen_mmu_debugfs()2458 &mmu_stats.pgd_update_pinned); in xen_mmu_debugfs()