TCR51_PS
vmst->pgshift = __SHIFTOUT(gen->tcr, TCR51_PS);
#define TCR51_PS_256 __SHIFTIN(0x8, TCR51_PS)
#define TCR51_PS_512 __SHIFTIN(0x9, TCR51_PS)
#define TCR51_PS_1K __SHIFTIN(0xa, TCR51_PS)
#define TCR51_PS_2K __SHIFTIN(0xb, TCR51_PS)
#define TCR51_PS_4K __SHIFTIN(0xc, TCR51_PS)
#define TCR51_PS_8K __SHIFTIN(0xd, TCR51_PS)
#define TCR51_PS_16K __SHIFTIN(0xe, TCR51_PS)
#define TCR51_PS_32K __SHIFTIN(0xf, TCR51_PS)
__SHIFTIN(PAGE_SHIFT, TCR51_PS) | \
__SHIFTIN(PAGE_SHIFT, TCR51_PS) | \
__SHIFTIN(PAGE_SHIFT, TCR51_PS) | \