Symbol: KPTYPE_FAST_GTOD
lib/libc/upmap/ukp_gettimeofday.c
61
#ifdef KPTYPE_FAST_GTOD
lib/libc/upmap/ukp_gettimeofday.c
72
__kpmap_map(&fast_gtod, &fast_clock, KPTYPE_FAST_GTOD);
sys/kern/init_main.c
761
kpmap->header[6].type = KPTYPE_FAST_GTOD;