Searched refs:pmd_update_batched (Results 1 – 1 of 1) sorted by relevance
99 u32 pmd_update_batched; member315 ADD_STATS(pmd_update_batched, paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU); in xen_set_pmd_hyper()