version 1.1, 2007/11/24 20:51:30 |
version 1.2, 2007/12/16 23:23:16 |
|
|
#include <arch/sam7s64/dev/sarttvar.h> |
#include <arch/sam7s64/dev/sarttvar.h> |
#include <arch/sam7s64/dev/at91sam7.h> |
#include <arch/sam7s64/dev/at91sam7.h> |
|
|
#include <arch/sam7s64/dev/saaicvar.h> /* XXX */ |
|
#include <libkern/printf.h> |
#include <libkern/printf.h> |
|
|
/* |
/* |
|
|
panic("sartt_sethz: can't calibrate timer: default device not configured\n"); |
panic("sartt_sethz: can't calibrate timer: default device not configured\n"); |
|
|
/* program prescaler (which is 2^16/HZ) and enable timer interrupts */ |
/* program prescaler (which is 2^16/HZ) and enable timer interrupts */ |
bus_write_4(sarttdd->sr_bhp, (uint32_t)AT91C_RTTC_RTMR, AT91C_RTTC_RTTINCIEN | (32768 / hz)); |
//bus_write_4(sarttdd->sr_bhp, (uint32_t)AT91C_RTTC_RTMR, AT91C_RTTC_RTTINCIEN | (32768 / hz)); |
|
bus_write_4(sarttdd->sr_bhp, (uint32_t)AT91C_RTTC_RTMR, AT91C_RTTC_RTTRST | 32768); |
/* enable coresponding interrupt source in AIC */ |
|
saaic_unmask_intr(1); |
|
/* XXX should not be here */ |
|
} |
} |
|
|
|
|
|
|
if (sarttdd == NULL) |
if (sarttdd == NULL) |
panic("sartt_getsec: can't get seconds from rtc: default device not configured\n"); |
panic("sartt_getsec: can't get seconds from rtc: default device not configured\n"); |
|
|
/* TODO */ |
return(bus_read_4(sarttdd->sr_bhp, (uint32_t)AT91C_RTTC_RTVR)); |
return(0); |
|
} |
} |
|
|
|
|