Constant VMCS_HOST_RIP 

pub const VMCS_HOST_RIP: uint32_t = 0x00006c16;