1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (c) 2019, Linaro Limited
*/
#ifndef ARM_USER_SYSREG_H
#define ARM_USER_SYSREG_H
#include <util.h>
#ifdef ARM32
#include <arm32_user_sysreg.h>
#endif
#ifdef ARM64
#include <arm64_user_sysreg.h>
#endif
#ifndef __ASSEMBLER__
static inline __noprof void isb(void)
{
asm volatile ("isb");
}
static inline __noprof uint64_t barrier_read_counter_timer(void)
{
isb();
#ifdef CFG_CORE_SEL2_SPMC
return read_cntvct();
#else
return read_cntpct();
#endif
}
#endif
#endif /*ARM_USER_SYSREG_H*/
|
