ARM®mbed OS入门开发（三）GPIO

typedef enum {

    ... ... ...

    // Arduino connector namings
    ... ... ...

    // Generic signals namings
    LED1        = PA_5,
    LED2        = PA_5,
    LED3        = PA_5,
    LED4        = PA_5,
    USER_BUTTON = PC_13,
    SERIAL_TX   = PA_2,
    SERIAL_RX   = PA_3,
    USBTX       = PA_2,
    USBRX       = PA_3,
    I2C_SCL     = PB_8,
    I2C_SDA     = PB_9,
    SPI_MOSI    = PA_7,
    SPI_MISO    = PA_6,
    SPI_SCK     = PA_5,
    SPI_CS      = PB_6,
    PWM_OUT     = PB_3,
    // Not connected
    NC = (int)0xFFFFFFFF
} PinName;

#include "mbed.h"

PwmOut PWM1(LED1);  //创建PWM1对LED1端口调制

int main() {

PWM1.period(0.010);

// PWM period = 10 ms 即输出频率为100Hz pulse；

PWM1=0.5;

// duty cycle= 50%，相当于平均电压为3.3×0.5V（或者是理论上的LED1=0.5）；

}

#include "mbed.h"
Serial pc(USBTX,USBRX);
InterruptIn btn(USER_BUTTON);
Timer mytimer;
int falltime;
int risetime;
void fallfunc()
{
    falltime=mytimer.read_us();
}
void risefunc()
{
    risetime=mytimer.read_us();
    pc.printf("You press button for %d us n",risetime-falltime);
}
int main() {
    mytimer.start();
    btn.fall(&fallfunc);

    //按键上升沿读取当前时间

    btn.rise(&risefunc);

    //下降沿再次读取当前时间并输出时间间隔

    while (1);
}