Lines Matching refs:tdev
41 -static INT_32 tdev = 0;
65 - if (tdev == 0)
67 - tdev = timer_open((void *) TIMER_CNTR0, 0);
68 - if (tdev != 0)
73 - timer_ioctl(tdev, TMR_SETUP_PSCALE, (INT_32) &pscale);
76 - base_rate = (UNS_64) timer_ioctl(tdev, TMR_GET_STATUS,
81 - return tdev;
104 - if (tdev != 0)
106 - timer_ioctl(tdev, TMR_RESET, 1);
130 - if (tdev != 0)
132 - timer_ioctl(tdev, TMR_ENABLE, 1);
156 - if (tdev != 0)
158 - timer_ioctl(tdev, TMR_ENABLE, 0);
185 - if (tdev != 0)
187 - timer_ioctl(tdev, TMR_GET_COUNTS, (INT_32) &tcounts);