CSR_PRMD_PPLV
print_plv_fragment("PPLV", (int) FIELD_GET(CSR_PRMD_PPLV, x));
return (val & CSR_PRMD_PPLV) == PLV_KERN;