Synopsis
void __dsb(void);
Description

__dsb inserts a DSB instruction.