Searched refs:paravirt_pagetable_setup_done (Results 1 – 2 of 2) sorted by relevance
492 static inline void paravirt_pagetable_setup_done(pgd_t *base) in paravirt_pagetable_setup_done() function
730 static inline void paravirt_pagetable_setup_done(pgd_t *base) in paravirt_pagetable_setup_done() function