From 3775f1c0e177b3667753bbf0087b7975f3ec712e Mon Sep 17 00:00:00 2001 From: T Michael Turney Date: Tue, 24 Apr 2018 10:15:46 -0700 Subject: arm64: Add ARCH Timer SoC sdm845 uses ARCH Timer Change-Id: I45e2d4d2c16a2cded3df20d393d2b8820050ac80 Signed-off-by: T Michael Turney Reviewed-on: https://review.coreboot.org/25612 Tested-by: build bot (Jenkins) Reviewed-by: Julius Werner --- src/arch/arm64/include/armv8/arch/lib_helpers.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/arch/arm64/include') diff --git a/src/arch/arm64/include/armv8/arch/lib_helpers.h b/src/arch/arm64/include/armv8/arch/lib_helpers.h index 94078e970c..19bb18dc44 100644 --- a/src/arch/arm64/include/armv8/arch/lib_helpers.h +++ b/src/arch/arm64/include/armv8/arch/lib_helpers.h @@ -557,6 +557,7 @@ uint64_t raw_read_vbar(uint32_t el); void raw_write_vbar(uint64_t vbar, uint32_t el); uint32_t raw_read_cntfrq_el0(void); void raw_write_cntfrq_el0(uint32_t cntfrq_el0); +uint64_t raw_read_cntpct_el0(void); /* Cache maintenance system instructions */ void dccisw(uint64_t cisw); -- cgit v1.2.3