pub const perf_event_type_PERF_RECORD_KSYMBOL: u32 = 17; // 17u32