static inline void __tlbie(unsigned long va, unsigned int psize) { unsigned int penc; /* clear top 16 bits, non SLS segment */ va &= ~(0xffffULL << 48); why does this routine clear the top 16 bits? SLS - single level store. all segments are non-sls? Luke