Searched refs:set_pte_at_kernel (Results 1 – 1 of 1) sorted by relevance
95 u32 set_pte_at_kernel; member388 ADD_STATS(set_pte_at_kernel, mm == &init_mm); in xen_set_pte_at()1210 &mmu_stats.set_pte_at_kernel); in xen_mmu_debugfs()