[PATCH 6/6] arm64: enable a distinct type for HW PTEs

[Ryan Roberts]

On 14/09/2026 14:51, Muhammad Usama Anjum wrote:
> With HW PTE pointers and direct HW PTE accesses converted, arm64 can use
> the generic hw_pte_t wrapper instead of the pte_t alias.
> 
> Select ARCH_HAS_HW_PTE_T to give HW PTEs and SW PTE values distinct C
> types.
> 
> Signed-off-by: Muhammad Usama Anjum <usama.anjum at arm.com>

Reviewed-by: Ryan Roberts <ryan.roberts at arm.com>

> ---
>  arch/arm64/Kconfig | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig
> index 2bbeded33da0d..42841d5e2ed26 100644
> --- a/arch/arm64/Kconfig
> +++ b/arch/arm64/Kconfig
> @@ -31,6 +31,7 @@ config ARM64
>  	select ARCH_HAS_FORTIFY_SOURCE
>  	select ARCH_HAS_GCOV_PROFILE_ALL
>  	select ARCH_HAS_GIGANTIC_PAGE
> +	select ARCH_HAS_HW_PTE_T
>  	select ARCH_HAS_KCOV
>  	select ARCH_HAS_KERNEL_FPU_SUPPORT if KERNEL_MODE_NEON
>  	select ARCH_HAS_KEEPINITRD
>