Searched refs:pud_update_batched (Results 1 – 1 of 1) sorted by relevance
95 u32 pud_update_batched; member610 ADD_STATS(pud_update_batched, paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU); in xen_set_pud_hyper()