/*
 * cmsis.c
 *
 *  Created on: Nov 22, 2019
 *      Author: abody
 */
#include "cmsis.h"
#include <stdlib.h>

void __disable_irq)() {}
uint32_t __get_PRIMASK() { return 0; }
void __set_PRIMASK(uint32_t primask) {}