/*
 * BitsetTestCPP.h
 *
 *  Created on: Jun 12, 2018
 *      Author: Alex
 */

#include <stdint.h>

#ifndef BITSETTESTCPP_H_
#define BITSETTESTCPP_H_

#define GPIO_BASE_AR14XX       0xFFF7BC00
#define GPIO_GIOGCR0_REG      (GPIO_BASE_AR14XX + 0)
#define GPIO_GIODIR_REG       (GPIO_BASE_AR14XX + 0x34)
#define GPIO_GIODIN_REG       (GPIO_BASE_AR14XX + 0x38)
#define GPIO_GIODSET_REG      (GPIO_BASE_AR14XX + 0x40)
#define GPIO_GIODCLR_REG      (GPIO_BASE_AR14XX + 0x44)
#define GPIO_GIOPDR_REG       (GPIO_BASE_AR14XX + 0x48)
#define GPIO_GIOPULDIS_REG    (GPIO_BASE_AR14XX + 0x4c)
#define GPIO_GIOPSL_REG       (GPIO_BASE_AR14XX + 0x50)
#define GPIO_GIOB_OFFSET       0x20
#define GPIO_A                 0
#define GPIO_B                 1
#define GPIO_ON                1
#define GPIO_OFF               0
#define GPIO_INPUT             0
#define GPIO_OUTPUT            1


extern "C" int32_t dummyFxn(uint32_t loc);

#endif /* BITSETTESTCPP_H_ */
