6307 	free_page((unsigned long)vmx_vmwrite_bitmap);  in hardware_setup()
6309 	free_page((unsigned long)vmx_vmread_bitmap);  in hardware_setup()
6312 		free_page((unsigned long)vmx_msr_bitmap_nested);  in hardware_setup()
6314 	free_page((unsigned long)vmx_msr_bitmap_longmode_x2apic);  in hardware_setup()
6316 	free_page((unsigned long)vmx_msr_bitmap_longmode);  in hardware_setup()
6318 	free_page((unsigned long)vmx_msr_bitmap_legacy_x2apic);  in hardware_setup()
6320 	free_page((unsigned long)vmx_msr_bitmap_legacy);  in hardware_setup()
6322 	free_page((unsigned long)vmx_io_bitmap_b);  in hardware_setup()
6324 	free_page((unsigned long)vmx_io_bitmap_a);  in hardware_setup()
6331 	free_page((unsigned long)vmx_msr_bitmap_legacy_x2apic);  in hardware_unsetup()
6332 	free_page((unsigned long)vmx_msr_bitmap_longmode_x2apic);  in hardware_unsetup()
6333 	free_page((unsigned long)vmx_msr_bitmap_legacy);  in hardware_unsetup()
6334 	free_page((unsigned long)vmx_msr_bitmap_longmode);  in hardware_unsetup()
6335 	free_page((unsigned long)vmx_io_bitmap_b);  in hardware_unsetup()
6336 	free_page((unsigned long)vmx_io_bitmap_a);  in hardware_unsetup()
6337 	free_page((unsigned long)vmx_vmwrite_bitmap);  in hardware_unsetup()
6338 	free_page((unsigned long)vmx_vmread_bitmap);  in hardware_unsetup()
6340 		free_page((unsigned long)vmx_msr_bitmap_nested);  in hardware_unsetup()