mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 19:03:15 +01:00
25 lines
485 B
C
25 lines
485 B
C
/*
|
|
* Platform specific ties between drivers and
|
|
* generic APIs used by the kernel.
|
|
* E.g. system timer and console.
|
|
*
|
|
* Copyright (C) Bahadir Balban 2007
|
|
*/
|
|
|
|
#ifndef __REALVIEW_PLATFORM_H__
|
|
#define __REALVIEW_PLATFORM_H__
|
|
|
|
void init_platform_irq_controller();
|
|
void init_platform_devices();
|
|
|
|
void platform_timer_start(void);
|
|
void platform_test_cpucycles();
|
|
|
|
void platform_timer_start(void);
|
|
|
|
void scu_init(void);
|
|
|
|
void scu_print_state(void);
|
|
|
|
#endif /* __REALVIEW_PLATFORM_H__ */
|