VMI_PAGE_CLONE    296 arch/x86/kernel/vmi_32.c 				~(VMI_PAGE_ZEROED | VMI_PAGE_CLONE);
VMI_PAGE_CLONE    323 arch/x86/kernel/vmi_32.c 	if (type & VMI_PAGE_CLONE)
VMI_PAGE_CLONE    345 arch/x86/kernel/vmi_32.c 		page->type = type & ~(VMI_PAGE_ZEROED | VMI_PAGE_CLONE);
VMI_PAGE_CLONE    359 arch/x86/kernel/vmi_32.c 	type &= ~(VMI_PAGE_ZEROED | VMI_PAGE_CLONE);
VMI_PAGE_CLONE    415 arch/x86/kernel/vmi_32.c  	vmi_set_page_type(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE);
VMI_PAGE_CLONE    417 arch/x86/kernel/vmi_32.c 	vmi_ops.allocate_page(pfn, VMI_PAGE_L2 | VMI_PAGE_CLONE, clonepfn, start, count);