/*
 * AXI4-Lite.h
 *
 *  Created on: Jun 16, 2021
 *      Author: I51028
 */

#ifndef AXI4_LITE_H_
#define AXI4_LITE_H_

#include <stdint.h>
//#include "../../hal/cpu_types.h"

uint32_t axi4literead(uint32_t address);
void axi4litewrite (uint32_t address,uint32_t data);

#endif /* DRIVERS_COREAXI4_LITE_AXI4_LITE_H_ */
