DPLL_PIN_DELETED
dpll_pin_notify(pin, DPLL_PIN_DELETED);
case DPLL_PIN_DELETED:
if (action != DPLL_PIN_CREATED && action != DPLL_PIN_DELETED)