Symbol: KPTYPE_UPTICKS
lib/libc/upmap/ukp_clock.c
69
__kpmap_map(&upticksp, &fast_clock, KPTYPE_UPTICKS);
lib/libc/upmap/ukp_gettimeofday.c
70
__kpmap_map(&upticksp, &fast_clock, KPTYPE_UPTICKS);
sys/kern/init_main.c
751
kpmap->header[1].type = KPTYPE_UPTICKS;