nested_vmx_set_vmcs_shadowing_bitmap
void nested_vmx_set_vmcs_shadowing_bitmap(void);
nested_vmx_set_vmcs_shadowing_bitmap();