tiocx_swin_base(int nasid) 
uint64_t tiocx_swin_base(int nasid) 
tiocx_swin_base(int nasid){	return TIO_SWIN_BASE(nasid, TIOCX_CORELET);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ce0a3956b32650e229b68964c4400bbdc5ad3ca1/tiocx.c/buggy/arch/ia64/sn/kernel/tiocx.c