IPS_REG_STAT_ID   717 dev/pci/ips.c  			id = IPS_REG_STAT_ID(status);
IPS_REG_STAT_ID   802 dev/pci/ips.c  		id = IPS_REG_STAT_ID(status);