1.1 --- a/stage2/board-minipc.c Sat May 14 21:36:55 2016 +0200
1.2 +++ b/stage2/board-minipc.c Sat May 14 21:40:59 2016 +0200
1.3 @@ -25,7 +25,7 @@
1.4
1.5 /* Later initialisation functions. */
1.6
1.7 -void gpio_init2(void)
1.8 +void gpio_init2()
1.9 {
1.10 /* LED enable */
1.11 __gpio_as_output(GPIO_LED_EN);
1.12 @@ -46,12 +46,12 @@
1.13 __gpio_as_msc();
1.14 }
1.15
1.16 -void cpm_init(void)
1.17 +void cpm_init()
1.18 {
1.19 __cpm_stop_all();
1.20 }
1.21
1.22 -void rtc_init(void)
1.23 +void rtc_init()
1.24 {
1.25 /* NOTE: May only be accessible via I2C. */
1.26 }
1.27 @@ -65,7 +65,7 @@
1.28 * Timer without interrupts.
1.29 */
1.30
1.31 -int timer_init(void)
1.32 +int timer_init()
1.33 {
1.34 __ost_set_clock(TIMER_CHAN, OST_TCSR_CKS_PCLK_256);
1.35 __ost_set_reload(TIMER_CHAN, TIMER_FDATA);
1.36 @@ -82,14 +82,14 @@
1.37
1.38 /* Timer interrupt activation. */
1.39
1.40 -void timer_init_irq(void)
1.41 +void timer_init_irq()
1.42 {
1.43 __ost_enable_interrupt(TIMER_CHAN);
1.44 /* NOTE: Need flag clearing? */
1.45 __intc_unmask_irq(TIMER_CHAN_IRQ);
1.46 }
1.47
1.48 -void timer_clear(void)
1.49 +void timer_clear()
1.50 {
1.51 __intc_ack_irq(TIMER_CHAN_IRQ);
1.52 __ost_clear_uf(TIMER_CHAN);
1.53 @@ -97,7 +97,7 @@
1.54
1.55 /* Board startup detection. */
1.56
1.57 -int is_started(void)
1.58 +int is_started()
1.59 {
1.60 return REG_CPM_MSCR != 0;
1.61 }