Hi,

> +static inline bool is_kernel_in_hyp_mode(void)
> +{
> +     u64 el;
> +
> +     asm("mrs %0, CurrentEL" : "=r" (el));
> +     return el == CurrentEL_EL2;
> +}

If you can include cputype.h, I think this can be:

static inline bool is_kernel_in_hyp_mode(void)
{
        return read_cpuid(CurrentEL) == CurrentEL_EL2;
}

Mark.
_______________________________________________
kvmarm mailing list
kvmarm@lists.cs.columbia.edu
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm

Reply via email to