error: expected '(' before 'void' __asm void WFI_SET(void)