__codec2_ok      1523 sound/pci/cs4281.c 				goto __codec2_ok;
__codec2_ok      1529 sound/pci/cs4281.c 	__codec2_ok: ;