Synopsis
void __dmb(void);
Description

__dmb inserts a DMB instruction.