Symbol: aux_get_tk_data
kernel/time/timekeeping.c
3052
static inline struct tk_data *aux_get_tk_data(clockid_t id)
kernel/time/timekeeping.c
81
static inline struct tk_data *aux_get_tk_data(clockid_t id)