vmi_set_page_type  398 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_L1);
vmi_set_page_type  409 arch/x86/kernel/vmi_32.c  	vmi_set_page_type(pfn, VMI_PAGE_L2);
vmi_set_page_type  415 arch/x86/kernel/vmi_32.c  	vmi_set_page_type(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE);
vmi_set_page_type  423 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_NORMAL);
vmi_set_page_type  429 arch/x86/kernel/vmi_32.c 	vmi_set_page_type(pfn, VMI_PAGE_NORMAL);