On Fri, May 03, 2024 at 02:01:24PM +0100, Joey Gouly wrote: > +static void flush_poe(void) > +{ > + if (!system_supports_poe()) > + return; > + > + write_sysreg_s(POR_EL0_INIT, SYS_POR_EL0); > + /* ISB required for kernel uaccess routines when chaning POR_EL0 */ Nit: s/chaning/changing/ -- Catalin