Constant VMCS_RO_IO_RSI 

pub const VMCS_RO_IO_RSI: uint32_t = 0x00006404;