Searched refs:KPTYPE_FAST_GTOD (Results 1 – 3 of 3) sorted by relevance
61 #ifdef KPTYPE_FAST_GTOD72 __kpmap_map(&fast_gtod, &fast_clock, KPTYPE_FAST_GTOD); in __gettimeofday()
110 #define KPTYPE_FAST_GTOD (0x8005 | UKPLEN_4) macro
761 kpmap->header[6].type = KPTYPE_FAST_GTOD; in kpmap_init()