DEBUG_LED          68 platform/ixus130_sd1400/lib.c     * (int *) DEBUG_LED = state ? 0x46 : 0x44;
DEBUG_LED          48 platform/ixus95_sd1200/lib.c     * (int *) DEBUG_LED = state ? 0x46 : 0x44;