Constant NT_PPC_VMX 

pub const NT_PPC_VMX: u32 = 256;