Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/genarch/include/genarch/drivers/amdm37x/gpt.h

    r63e27ef r4b1c7c6f  
    208208        // TODO find a nicer way to setup 32kHz clock source for timer1
    209209        // reg 0x48004C40 is CM_CLKSEL_WKUP see page 485 of the manual
    210         ioport32_t *clksel = (void*) km_map(0x48004C40, 4, PAGE_NOT_CACHEABLE);
     210        ioport32_t *clksel = (void*) km_map(0x48004C40, 4, 0);
    211211        *clksel &= ~1;
    212212        km_unmap((uintptr_t)clksel, 4);
    … …  
    214214        assert(timer);
    215215        /* Map control register */
    216         timer->regs = (void*) km_map(ioregs, iosize, PAGE_NOT_CACHEABLE);
     216        timer->regs = (void*) km_map(ioregs, iosize, 0);
    217217
    218218        /* Reset the timer */
Note: See TracChangeset for help on using the changeset viewer.