#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "driverlib/debug.h"
#include "driverlib/gpio.h"
#include "driverlib/timer.h"
#include "driverlib/interrupt.h"
#include "driverlib/pin_map.h"
#include "driverlib/sysctl.h"
#include "libtimer/timer.h"
#include "libos/semaphore.h"
#include <sys/stat.h>
#include "libheart/heartbeat.h"

Include dependency graph for test-timer.c:

Macros
#define	HEARTBEAT_MODAL

Functions
void	led_blink_red ()

void	led_blink_green ()

void	led_blink_blue ()

int	main (void)

Variables
volatile uint32_t	sem

uint32_t	interrupt_counter

uint32_t	wait_counter

uint32_t	red_work = 0

uint32_t	blue_work = 0

uint32_t	green_work = 0

Macro Definition Documentation

#define HEARTBEAT_MODAL

Definition at line 28 of file test-timer.c.

Function Documentation

void led_blink_blue ( )

Definition at line 57 of file test-timer.c.

References blue_work, GPIO_PIN_2, GPIO_PORTF_BASE, GPIOPinRead(), GPIOPinWrite(), and os_surrender_context.

Referenced by main().

                       {
     while (1) {
         ++blue_work;
         GPIOPinWrite(GPIO_PORTF_BASE, GPIO_PIN_2,
                      GPIO_PIN_2 ^ GPIOPinRead(GPIO_PORTF_BASE, GPIO_PIN_2));
         os_surrender_context();
     }
 }

Here is the call graph for this function:

Here is the caller graph for this function:

void led_blink_green ( )

Definition at line 48 of file test-timer.c.

References GPIO_PIN_3, GPIO_PORTF_BASE, GPIOPinRead(), GPIOPinWrite(), and green_work.

Referenced by main().

                        {
     /* while (1) { */
         ++green_work;
         GPIOPinWrite(GPIO_PORTF_BASE, GPIO_PIN_3,
                      GPIO_PIN_3 ^ GPIOPinRead(GPIO_PORTF_BASE, GPIO_PIN_3));
         /* os_surrender_context(); */
     /* } */
 }

Here is the call graph for this function:

Here is the caller graph for this function:

void led_blink_red ( )

Definition at line 39 of file test-timer.c.

References GPIO_PIN_1, GPIO_PORTF_BASE, GPIOPinRead(), GPIOPinWrite(), os_surrender_context, and red_work.

Referenced by main().

                      {
     while (1) {
         ++red_work;
         GPIOPinWrite(GPIO_PORTF_BASE, GPIO_PIN_1,
                      GPIO_PIN_1 ^ GPIOPinRead(GPIO_PORTF_BASE, GPIO_PIN_1));
         os_surrender_context();
     }
 }

Here is the call graph for this function:

Here is the caller graph for this function:

int main ( void )

Definition at line 66 of file test-timer.c.

References DL_SOFT, GPIO_PIN_1, GPIO_PIN_2, GPIO_PIN_3, GPIO_PORTF_BASE, heart_init(), hw_channel_init(), hw_driver_init(), hw_subscribe, HW_TIMER, Hz, INT_TIMER0A, IntMasterDisable(), IntMasterEnable(), led_blink_blue(), led_blink_green(), led_blink_red(), os_launch(), os_threading_init(), schedule(), SYSCTL_OSC_MAIN, SYSCTL_SYSDIV_1, SYSCTL_USE_OSC, SYSCTL_XTAL_16MHZ, SysCtlClockSet(), TIMER0_BASE, TIMER_CFG_PERIODIC, and timer_metadata_init.

                {
 
     SysCtlClockSet(SYSCTL_SYSDIV_1 | SYSCTL_USE_OSC | SYSCTL_OSC_MAIN |
                    SYSCTL_XTAL_16MHZ);
 
     /* Enable processor interrupts. */
     IntMasterDisable();
 
     heart_init();
     heart_init_(GPIO_PORTF_BASE, GPIO_PIN_1);
     heart_init_(GPIO_PORTF_BASE, GPIO_PIN_2);
     heart_init_(GPIO_PORTF_BASE, GPIO_PIN_3);
 
     /* begin timer init */
     /* timer_metadata_init(TIMER0_BASE, 10 Hz, INT_TIMER0A, TIMER_CFG_ONE_SHOT); */
     timer_metadata_init(TIMER0_BASE, 2 Hz, INT_TIMER0A, TIMER_CFG_PERIODIC);
     hw_driver_init(HW_TIMER, timer_metadata);
     hw_channel_init(HW_TIMER, timer_metadata);
     hw_subscribe(HW_TIMER, timer_metadata, led_blink_green);
     /* end timer init */
 
     os_threading_init();
     schedule(led_blink_red, 100 Hz, DL_SOFT);
     schedule(led_blink_blue, 100 Hz, DL_SOFT);
 
     IntMasterEnable();
     os_launch();
 
     while (1) { }
     /* postpone_death(); */
 }