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.