gscpm_get_timecount   54 arch/i386/pci/gscpm.c u_int	gscpm_get_timecount(struct timecounter *tc);
gscpm_get_timecount   57 arch/i386/pci/gscpm.c 	gscpm_get_timecount,	/* get_timecount */