pub const KVM_TRC_VMMCALL: u32 = 131088;