__ALT_SMP_ASM
__ALT_SMP_ASM(
#define WFE(cond) __ALT_SMP_ASM( \
#define WFE(cond) __ALT_SMP_ASM("wfe" cond, "nop")
#define SEV __ALT_SMP_ASM(WASM(sev), WASM(nop))