mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 01:58:55 +00:00
62 lines
1.3 KiB
C
62 lines
1.3 KiB
C
|
/*
|
||
|
|
* \brief Driver for the platform specific functionality for bcm2837
|
||
|
|
* \author Tomasz Gajewski
|
||
|
|
* \date 2019-12-28
|
||
|
|
*/
|
||
|
|
|
||
|
|
/*
|
||
|
|
* Copyright (C) 2011-2019 Genode Labs GmbH
|
||
|
|
*
|
||
|
|
* This file is part of the Genode OS framework, which is distributed
|
||
|
|
* under the terms of the GNU Affero General Public License version 3.
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef _INCLUDE__DRIVERS__PLATFORM__BCM2837_CONTROL_H_
|
||
|
|
#define _INCLUDE__DRIVERS__PLATFORM__BCM2837_CONTROL_H_
|
||
|
|
|
||
|
|
/* Genode includes */
|
||
|
|
#include <util/mmio.h>
|
||
|
|
|
||
|
|
|
||
|
|
namespace Genode { class Bcm2837_control; }
|
||
|
|
|
||
|
|
|
||
|
|
class Genode::Bcm2837_control : Mmio
|
||
|
|
{
|
||
|
|
public:
|
||
|
|
|
||
|
|
struct ControlRegister : public Register<0x0, 32>
|
||
|
|
{
|
||
|
|
struct CoreTimeClockSource : Bitfield<8,1> { };
|
||
|
|
struct TimerIncrement : Bitfield<9,1> { };
|
||
|
|
};
|
||
|
|
|
||
|
|
struct CoreTimerPrescaler : public Register<0x8, 32>
|
||
|
|
{
|
||
|
|
};
|
||
|
|
|
||
|
|
inline Bcm2837_control(addr_t const base);
|
||
|
|
|
||
|
|
inline void initialize_timer_frequency();
|
||
|
|
};
|
||
|
|
|
||
|
|
|
||
|
|
Genode::Bcm2837_control::Bcm2837_control(addr_t const base)
|
||
|
|
:
|
||
|
|
Mmio(base)
|
||
|
|
{ }
|
||
|
|
|
||
|
|
|
||
|
|
void Genode::Bcm2837_control::initialize_timer_frequency()
|
||
|
|
{
|
||
|
|
/*
|
||
|
|
* Set prescaler value to achieve divider value equal to 1.
|
||
|
|
* Value taken from chapter "3.1.1 Timer clock" from QA7_rev3.4.pdf
|
||
|
|
* document describing the BCM2836 chip.
|
||
|
|
*/
|
||
|
|
write<CoreTimerPrescaler>(0x80000000);
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
#endif /* _INCLUDE__DRIVERS__PLATFORM__BCM2837_CONTROL_H_ */
|