Synopsis
void __wfe(void);
Description

__wfe inserts a WFE instruction.