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