provides interface HplMsp430Interrupt as Port10;
provides interface HplMsp430Interrupt as Port11;
provides interface HplMsp430Interrupt as Port12;
provides interface HplMsp430Interrupt as Port10;
provides interface HplMsp430Interrupt as Port11;
provides interface HplMsp430Interrupt as Port12;