Symbol: KPTYPE_TS_REALTIME
lib/libc/upmap/ukp_clock.c
71
__kpmap_map(&ts_realtime, &fast_clock, KPTYPE_TS_REALTIME);
lib/libc/upmap/ukp_gettimeofday.c
71
__kpmap_map(&ts_realtime, &fast_clock, KPTYPE_TS_REALTIME);
sys/kern/init_main.c
755
kpmap->header[3].type = KPTYPE_TS_REALTIME;