#include "bcm2836.h"

void bcm2836_delay(uint32);