Re: [PATCH v14 08/44] arm64: RMI: Ensure that the RMM has GPT entries for memory
From: Aneesh Kumar K . V
Date: Tue May 19 2026 - 02:01:15 EST
> +
> +bool rmi_is_available(void)
> +{
> + return arm64_rmi_is_available;
> +}
> +
Can we rename to is_rmi_available(void) ?
-aneesh