ra8_boot_intrinsics.h

Go to the documentation of this file.

 
#pragma once
 
#include <stdint.h>

static inline uint32_t ra8_boot_read32(uintptr_t addr)
{
  return *(volatile uint32_t*)addr;
}

static inline void ra8_boot_write32(uintptr_t addr, uint32_t value)
{
  *(volatile uint32_t*)addr = value;
}

static inline void ra8_boot_dsb(void)
{
#ifndef RA8_OFF_TARGET
  __asm__ volatile("dsb 0xF" ::: "memory");
#endif
}

static inline void ra8_boot_isb(void)
{
#ifndef RA8_OFF_TARGET
  __asm__ volatile("isb 0xF" ::: "memory");
#endif
}

static inline void ra8_boot_disable_irq(void)
{
#ifndef RA8_OFF_TARGET
  __asm__ volatile("cpsid i" ::: "memory");
#endif
}