inline_sethae (unsigned long addr, int iosys)
inline_sethae (unsigned long int addr, iosys_t iosys)
inline_sethae (unsigned long addr, int iosys){  if (iosys == IOSYS_JENSEN)    {      /* hae on the Jensen is bits 31:25 shifted right */      addr >>= 25;      if (addr != io.hae.cache)	{	  __sethae (addr);	  io.hae.cache = addr;	}    }  else    {      unsigned long msb;      /* no need to set hae if msb is 0: */      msb = addr & 0xf8000000;      if (msb && msb != io.hae.cache)	{	  __sethae (msb);	  io.hae.cache = msb;	}    }}