#include <stdint.h>
#include <stdbool.h>
#include "tm4c123gh6pm.h"
// SysTick memory-mapped registers
#define STCTRL *((volatile uint32_t *) 0xE000E010)          // CONTROL AND STATUS
#define STRELOAD *((volatile uint32_t *) 0xE000E014)        // RELOAD VALUE
#define STCURRENT *((volatile uint32_t *) 0xE000E018)       // CURRENT VALUE