Constant WHV_HYPERCALL_CONTEXT_MAX_XMM_REGISTERS 

pub const WHV_HYPERCALL_CONTEXT_MAX_XMM_REGISTERS: u32 = 6u32;