return SX_PORT(port - sx_port); 
return SX_PORT(port - sx_port); 
static inline int port_No (struct specialix_port const * port){	return SX_PORT(port - sx_port); }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c