diff options
Diffstat (limited to 'include/drivers/arm/gic_v3.h')
| -rw-r--r-- | include/drivers/arm/gic_v3.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/include/drivers/arm/gic_v3.h b/include/drivers/arm/gic_v3.h index 0f99994c..c4106266 100644 --- a/include/drivers/arm/gic_v3.h +++ b/include/drivers/arm/gic_v3.h @@ -68,14 +68,6 @@ ******************************************************************************/ uintptr_t gicv3_get_rdist(uintptr_t gicr_base, uint64_t mpidr); -unsigned int read_icc_sre_el1(void); -unsigned int read_icc_sre_el2(void); -unsigned int read_icc_sre_el3(void); -void write_icc_sre_el1(unsigned int); -void write_icc_sre_el2(unsigned int); -void write_icc_sre_el3(unsigned int); -void write_icc_pmr_el1(unsigned int); - /******************************************************************************* * GIC Redistributor interface accessors ******************************************************************************/ |