Symbol: kcore_get_sched_cputime
lib/libkcore/kcore.h
54
kcore_get_sched_cputime(NULL, cputime)
lib/libkcore/kcore.h
85
int kcore_get_sched_cputime(struct kcore_data *, struct kinfo_cputime *);