From: Julien Grall <jgr...@amazon.com>
Since commit 62529f16c8a2 ("xen/arm32: head: Use a page mapping for the
1:1 mapping in create_page_tables()"), the register 'r6' is not used
anymore within create_page_tables(). So remove it from the documentation.
Signed-off-by: Julien Grall <jgr...@amazon.com>
---
xen/arch/arm/arm32/head.S | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/xen/arch/arm/arm32/head.S b/xen/arch/arm/arm32/head.S
index 997c8a4fbbc1..5e3692eb3abf 100644
--- a/xen/arch/arm/arm32/head.S
+++ b/xen/arch/arm/arm32/head.S
@@ -451,10 +451,7 @@ ENDPROC(cpu_init)
* Output:
* r12: Was a temporary mapping created?
*
- * Clobbers r0 - r4, r6
- *
- * Register usage within this function:
- * r6 : Identity map in place
+ * Clobbers r0 - r4
*/
create_page_tables:
/* Prepare the page-tables for mapping Xen */
--
2.40.1
