pub const perf_event_type_PERF_RECORD_SWITCH_CPU_WIDE: u32 = 15; // 15u32