pub const VMCS_RO_IO_RIP: u32 = 0x00006408;