VMI_PAGE_NORMAL   341 arch/x86/kernel/vmi_32.c 		if (type != VMI_PAGE_NORMAL)
VMI_PAGE_NORMAL   344 arch/x86/kernel/vmi_32.c 			BUG_ON(page->type == VMI_PAGE_NORMAL);
VMI_PAGE_NORMAL   363 arch/x86/kernel/vmi_32.c 		BUG_ON(type == VMI_PAGE_NORMAL && page->type);
VMI_PAGE_NORMAL   423 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_NORMAL);
VMI_PAGE_NORMAL   429 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_NORMAL);