#ifndef __PINMUX_CONFIG_H__ #define __PINMUX_CONFIG_H__ void pinmux_init(void); #endif //end of __PINMUX_CONFIG_H__