/* Fills buf with a zero terminated PnP ident string for the id1/id2 pair. For convenience the return is the passed in buffer pointer.  */
static char* codec_id(u16 id1, u16 id2, char *buf)
/* Fills buf with a zero terminated PnP ident string for the id1/id2 pair. For convenience the return is the passed in buffer pointer.  */
static char* codec_id(u16 id1, u16 id2, char *buf)
{
	if(id1&0x8080) {
		snprintf(buf, CODEC_ID_BUFSZ, "0x%04x:0x%04x", id1, id2);
	} else {
		buf[0] = (id1 >> 8);
		buf[1] = (id1 & 0xFF);
		buf[2] = (id2 >> 8);
		snprintf(buf+3, CODEC_ID_BUFSZ - 3, "%d", id2&0xFF);
	}
	return buf;
}