This file provides utility functions for ARM Cortex microcontrollers
procedure Data_Synchronization_Barrier
Injects instruction "DSB Sy" i.e., a "full system" domain barrier
procedure DSB