6217 	free_page((unsigned long)vmx_vmwrite_bitmap);  in hardware_setup()
6219 	free_page((unsigned long)vmx_vmread_bitmap);  in hardware_setup()
6222 		free_page((unsigned long)vmx_msr_bitmap_nested);  in hardware_setup()
6224 	free_page((unsigned long)vmx_msr_bitmap_longmode_x2apic);  in hardware_setup()
6226 	free_page((unsigned long)vmx_msr_bitmap_longmode);  in hardware_setup()
6228 	free_page((unsigned long)vmx_msr_bitmap_legacy_x2apic);  in hardware_setup()
6230 	free_page((unsigned long)vmx_msr_bitmap_legacy);  in hardware_setup()
6232 	free_page((unsigned long)vmx_io_bitmap_b);  in hardware_setup()
6234 	free_page((unsigned long)vmx_io_bitmap_a);  in hardware_setup()
6241 	free_page((unsigned long)vmx_msr_bitmap_legacy_x2apic);  in hardware_unsetup()
6242 	free_page((unsigned long)vmx_msr_bitmap_longmode_x2apic);  in hardware_unsetup()
6243 	free_page((unsigned long)vmx_msr_bitmap_legacy);  in hardware_unsetup()
6244 	free_page((unsigned long)vmx_msr_bitmap_longmode);  in hardware_unsetup()
6245 	free_page((unsigned long)vmx_io_bitmap_b);  in hardware_unsetup()
6246 	free_page((unsigned long)vmx_io_bitmap_a);  in hardware_unsetup()
6247 	free_page((unsigned long)vmx_vmwrite_bitmap);  in hardware_unsetup()
6248 	free_page((unsigned long)vmx_vmread_bitmap);  in hardware_unsetup()
6250 		free_page((unsigned long)vmx_msr_bitmap_nested);  in hardware_unsetup()