pub const perf_event_type_PERF_RECORD_SWITCH: u32 = 14; // 14u32