a73b93157f
It encourages users from writing to the FSF without giving an address. Linux also prefers to drop that and their checkpatch.pl (that we imported) looks out for that. This is the result of util/scripts/no-fsf-addresses.sh with no further editing. Change-Id: Ie96faea295fe001911d77dbc51e9a6789558fbd6 Signed-off-by: Patrick Georgi <pgeorgi@chromium.org> Reviewed-on: http://review.coreboot.org/11888 Tested-by: build bot (Jenkins) Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com> Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
43 lines
1.1 KiB
C
43 lines
1.1 KiB
C
|
|
/*
|
|
* This file is part of the coreboot project.
|
|
*
|
|
* Copyright (C) 2014 Rockchip Electronics
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; version 2 of the License.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
#include <arch/io.h>
|
|
#include <libpayload.h>
|
|
#include <stdint.h>
|
|
struct rk_timer {
|
|
u32 timer_load_count0;
|
|
u32 timer_load_count1;
|
|
u32 timer_curr_value0;
|
|
u32 timer_curr_value1;
|
|
u32 timer_ctrl_reg;
|
|
u32 timer_int_status;
|
|
};
|
|
|
|
uint64_t timer_hz(void)
|
|
{
|
|
return 24000000;
|
|
}
|
|
|
|
uint64_t timer_raw_value(void)
|
|
{
|
|
uint64_t upper;
|
|
uint64_t lower;
|
|
struct rk_timer *rk_timer;
|
|
rk_timer = (struct rk_timer *) CONFIG_LP_TIMER_RK_ADDRESS;
|
|
lower = (uint64_t) rk_timer->timer_curr_value0;
|
|
upper = (uint64_t) rk_timer->timer_curr_value1;
|
|
return (upper << 32) | lower;
|
|
}
|