Constant WHvX64RegisterVirtualCr4

pub const WHvX64RegisterVirtualCr4: WHV_REGISTER_NAME;