Searched refs:pgd_update_batched (Results 1 – 1 of 1) sorted by relevance
91 u32 pgd_update_batched; member762 ADD_STATS(pgd_update_batched, paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU); in xen_set_pgd()