timerlat_bpf_destroy
void timerlat_bpf_destroy(void)
static inline void timerlat_bpf_destroy(void) { };