Constant VMCS_GUEST_GS_LIMIT 

pub const VMCS_GUEST_GS_LIMIT: uint32_t = 0x0000480a;