git: 7be11454edd4 - main - arm64: Add the tcr_el2 ds field

The branch main has been updated by andrew:

URL: https://cgit.FreeBSD.org/src/commit/?id=7be11454edd4eca6cbd299cb5b486294f912ffbd

commit 7be11454edd4eca6cbd299cb5b486294f912ffbd
Author:     Andrew Turner <andrew@FreeBSD.org>
AuthorDate: 2024-09-05 12:11:42 +0000
Commit:     Andrew Turner <andrew@FreeBSD.org>
CommitDate: 2024-09-05 12:12:16 +0000

    arm64: Add the tcr_el2 ds field
    
    This will be used to support FEAT_LPA2 to allow more than 48 bits of
    physical address space.
    
    Reviewed by:    alc, kib, markj
    Sponsored by:   Arm Ltd
    Differential Revision:  https://reviews.freebsd.org/D46392
---
 sys/arm64/include/armreg.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/arm64/include/armreg.h b/sys/arm64/include/armreg.h
index a04afd57585c..b4adc3d2c254 100644
--- a/sys/arm64/include/armreg.h
+++ b/sys/arm64/include/armreg.h
@@ -2444,6 +2444,8 @@
 #define	TCR_EL1_CRm			0
 #define	TCR_EL1_op2			2
 /* Bits 63:59 are reserved */
+#define	TCR_DS_SHIFT		59
+#define	TCR_DS			(UL(1) << TCR_DS_SHIFT)
 #define	TCR_TCMA1_SHIFT		58
 #define	TCR_TCMA1		(UL(1) << TCR_TCMA1_SHIFT)
 #define	TCR_TCMA0_SHIFT		57