#include "led_blink.h"
#include <lm4f120h5qr.h>
+static void spin(int);
+
__attribute__((isr))
void main_isr() {
// Enable Port F
SYSCTL_RCGCGPIO_R = 0x20;
// Wait for a few clocks to let GPIO module stabilize
- for (int i = 0; i < 10; ++i) {
- }
+ spin(10);
// RGB pins (PF1, 2, 3) as outputs
GPIO_PORTF_DIR_R = 0xE;
for (;;) {
*(GPIO_PORTF_DATA_BITS_R + 0xC) ^= 0xC;
- for (int j = 0; j < 1000000; ++j) {
- }
+ spin(1000000);
}
}
+
+void spin(int cycles) {
+ while (cycles) { cycles -= 1; }
+}