vmx_msr_bitmap_initialize
vmx_msr_bitmap_initialize(vmx);
void vmx_msr_bitmap_initialize(struct vmx *);