_PAGE_PSIZE_SHIFT_OFFSET
unsigned int tsize = shift - _PAGE_PSIZE_SHIFT_OFFSET;
return 1UL << (((val & _PAGE_PSIZE_MSK) >> _PAGE_PSIZE_SHIFT) + _PAGE_PSIZE_SHIFT_OFFSET);