File content as of revision 0:669ef71cba68:

#include "ExternalInt.h"
#include "mbed.h"

#include "../../System/Process/InterruptProcess.h"

InterruptIn BoardInt[] = {
    InterruptIn(INT0_PIN),
    InterruptIn(INT1_PIN),
    InterruptIn(INT2_PIN),
    InterruptIn(INT3_PIN),
    InterruptIn(INT4_PIN),
    InterruptIn(INT5_PIN),
    InterruptIn(INT6_PIN),
    InterruptIn(INT7_PIN),
    InterruptIn(INT8_PIN),
    InterruptIn(INT9_PIN),
    InterruptIn(INT10_PIN),
    InterruptIn(INT11_PIN),
    InterruptIn(INT12_PIN),
    InterruptIn(INT13_PIN),
    InterruptIn(INT14_PIN),
};

namespace EXTERNALINT {
    void Int::Initialize() {
        BoardInt[0].mode(PullUp);
        BoardInt[1].mode(PullUp);
        BoardInt[2].mode(PullUp);
        BoardInt[3].mode(PullUp);
        BoardInt[4].mode(PullUp);
        BoardInt[5].mode(PullUp);
        BoardInt[6].mode(PullUp);
        BoardInt[7].mode(PullUp);
        BoardInt[8].mode(PullUp);
        BoardInt[9].mode(PullUp);
        BoardInt[10].mode(PullUp);
        BoardInt[11].mode(PullUp);
        BoardInt[12].mode(PullUp);
        BoardInt[13].mode(PullUp);
        BoardInt[14].mode(PullUp);

        BoardInt[0].fall(int0);
        BoardInt[1].fall(int1);
        BoardInt[2].fall(int2);
        BoardInt[3].fall(int3);
        BoardInt[4].fall(int4);
        BoardInt[5].fall(int5);
        BoardInt[6].fall(int6);
        BoardInt[7].fall(int7);
        BoardInt[8].fall(int8);
        BoardInt[9].fall(int9);
        BoardInt[10].fall(int10);
        BoardInt[11].fall(int11);
        BoardInt[12].fall(int12);
        BoardInt[13].fall(int13);
        BoardInt[14].fall(int14);
    }
}