lib/libc/upmap/ukp_clock.c

69

__kpmap_map(&upticksp, &fast_clock, KPTYPE_UPTICKS);

lib/libc/upmap/ukp_clock.c

70

__kpmap_map(&ts_uptime, &fast_clock, KPTYPE_TS_UPTIME);

lib/libc/upmap/ukp_clock.c

71

__kpmap_map(&ts_realtime, &fast_clock, KPTYPE_TS_REALTIME);

lib/libc/upmap/ukp_clock.c

72

__kpmap_map(NULL, &fast_clock, 0);

lib/libc/upmap/ukp_gettimeofday.c

70

__kpmap_map(&upticksp, &fast_clock, KPTYPE_UPTICKS);

lib/libc/upmap/ukp_gettimeofday.c

71

__kpmap_map(&ts_realtime, &fast_clock, KPTYPE_TS_REALTIME);

lib/libc/upmap/ukp_gettimeofday.c

72

__kpmap_map(&fast_gtod, &fast_clock, KPTYPE_FAST_GTOD);

lib/libc/upmap/ukp_gettimeofday.c

73

__kpmap_map(NULL, &fast_clock, 0);

lib/libc/upmap/upmap.h

45

void __kpmap_map(void *datap, int *state, uint16_t type);