Symbol: lpc32xx_waitfunc_controller