fix: adding comment to getter functions.
Adds comment to VTCR_EL2 and VSTCR_EL2 getter functions.
Signed-off-by: Maksims Svecovs <maksims.svecovs@arm.com>
Change-Id: If3552ed82aa4bf63aed919acb902d88d7a05fadc
diff --git a/inc/hf/arch/mm.h b/inc/hf/arch/mm.h
index 83dabce..c524ef7 100644
--- a/inc/hf/arch/mm.h
+++ b/inc/hf/arch/mm.h
@@ -185,6 +185,12 @@
*/
uint32_t arch_mm_get_pa_range(void);
+/**
+ * Returns VTCR_EL2 configured in arch_mm_init.
+ */
uintptr_t arch_mm_get_vtcr_el2(void);
+/**
+ * Returns VSTCR_EL2 configured in arch_mm_init.
+ */
uintptr_t arch_mm_get_vstcr_el2(void);