> +       err_str_append(error_code, err_txt, X86_PF_INSTR, "[INSTR]", NULL);
> +       err_str_append(error_code, err_txt, X86_PF_PK,    "[PK]"   , NULL);
> +       err_str_append(error_code, err_txt, X86_PF_WRITE | X86_PF_INSTR, NULL,
> +                                                         "[READ]");

Ah, I see the issue.  OTOH, printing [READ] [INSTR] wouldn’t be so bad, either.

Reply via email to