On 03/05/2024 15:01, Joey Gouly wrote: > +static uint64_t get_por_el0(void) > +{ > + uint64_t val; > + > + asm volatile ( > + "mrs %0, " SYS_POR_EL0 "\n" > + : "=r"(val) > + : > + : "cc"); Not sure why we would need "cc" for an MRS? __read_pkey_reg() doesn't use it (maybe we could directly use that function here if including pkey-arm64.h is OK). Kevin > + > + return val; > +}