- *(AMAZON_PMU_PWDCR) = (*(AMAZON_PMU_PWDCR))| AMAZON_PMU_PWDCR_GPT|AMAZON_PMU_PWDCR_FPI;
- /* setup the GPTU for timer tick f_fpi == f_gptu*/
- *(AMAZON_GPTU_CLC) = 0x100;
-
- *(AMAZON_GPTU_CAPREL) = 0xffff;
- *(AMAZON_GPTU_T6CON) = 0x80C0;
- //setup_irq(AMAZON_TIMER6_INT,&hrt_irqaction);
-
-#if 0
-#ifdef CONFIG_HIGH_RES_TIMERS
- /* GPTU timer 6 */
- int retval;
- if ( hr_time_resolution > 200000000 || hr_time_resolution < 40) {
- prom_printf("hr_time_resolution is out of range, HIGH_RES_TIMER is diabled.\n");
- return;
- }