func: static __init int hardware_setup(void) vmx_io_bitmap_a = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_io_bitmap_a )  vmx_io_bitmap_b = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_io_bitmap_b )  vmx_msr_bitmap_legacy = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_msr_bitmap_legacy )  vmx_msr_bitmap_legacy_x2apic = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_msr_bitmap_legacy_x2apic )  vmx_msr_bitmap_longmode = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_msr_bitmap_longmode )  vmx_msr_bitmap_longmode_x2apic = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_msr_bitmap_longmode_x2apic )  if ( nested )  vmx_msr_bitmap_nested = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_msr_bitmap_nested )  vmx_vmread_bitmap = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_vmread_bitmap )  vmx_vmwrite_bitmap = ( unsigned long * ) __get_free_page ( GFP_KERNEL ); if ( ! vmx_vmwrite_bitmap )  memset ( vmx_vmread_bitmap , 0xff , PAGE_SIZE ); 