Synopsis
void __wfi(void);
Description

__wfi inserts a WFI instruction.