Symbol: HPET_DEV_MAP_MAX
lib/libsys/x86/__vdso_gettc.c
230
static volatile char *hpet_dev_map[HPET_DEV_MAP_MAX];
lib/libsys/x86/__vdso_gettc.c
415
if (idx >= HPET_DEV_MAP_MAX)