#include "gpio_driver.h"
#include "timer_driver.h"
void setup()
{
gpio_init_pin(GPIO_PORT_F, GPIO_PIN_0, GPIO_OUTPUT);//set portf pin as output
gpio_init_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_OUTPUT);//set port k pin as output
gpio_write_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_HIGH);// set portk pin0 value high
TIMER_INIT(10,SEC,toggle_led);//non block timer initialization,user defined callback.
TIMER_START();//then we start timer, which calls user defined function evry 10 seconds.
}
void loop()
{
//blocking delay code
gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_HIGH);//set portf-pin0 high for 5 seconds..
timer_delay(5,SEC);//blocking delay 5 seconds
gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_LOW);//set portf-pin0 low for 5 seconds..
timer_delay(5,SEC); //blocking delay 5 seconds
}
//user defined callback ISR function...
void toggle_led(void)
{
//WRITE YOUR TIMER isr CODE
gpio_toggle_pin(GPIO_PORT_K,GPIO_PIN_0);//gpio driver function to toogle portk-pin0
}( Blocking_Delay )
(Non_Blocking_Delay )
( PORT_F )
( PORT K )