/* There is just one file remaining in the Host.  */
__init int init_pagetables(struct page **switcher_page, unsigned int pages)
/* There is just one file remaining in the Host.  */
__init int init_pagetables(struct page **switcher_page, unsigned int pages)
{
	unsigned int i;
	for_each_possible_cpu(i) {
		switcher_pte_page(i) = (pte_t *)get_zeroed_page(GFP_KERNEL);
		if (!switcher_pte_page(i)) {
			free_switcher_pte_pages();
			return -ENOMEM;
		}
		populate_switcher_pte_page(i, switcher_page, pages);
	}
	return 0;
}