Constant VMCS_GUEST_IDTR_BASE 

pub const VMCS_GUEST_IDTR_BASE: uint32_t = 0x00006818;