PLV_KERN
#define _PAGE_KERN (PLV_KERN << _PAGE_PLV_SHIFT)
return (val & CSR_PRMD_PPLV) == PLV_KERN;
val = PLV_KERN | CSR_CRMD_PG;