\r
Copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>\r
Copyright (c) 2011 - 2016, ARM Ltd. All rights reserved.<BR>\r
+ Copyright (c) 2020, NUVIA Inc. All rights reserved.<BR>\r
\r
SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
VOID\r
);\r
\r
+\r
+///\r
+/// ID Register Helper functions\r
+///\r
+\r
+/**\r
+ Check whether the CPU supports the GIC system register interface (any version)\r
+\r
+ @return Whether GIC System Register Interface is supported\r
+\r
+**/\r
+BOOLEAN\r
+EFIAPI\r
+ArmHasGicSystemRegisters (\r
+ VOID\r
+ );\r
+\r
#endif // __ARM_LIB__\r