1 #include <stdint.h> 2 3 #include "syslib.h" 4 5 int sys_padconf(u32_t padconf, u32_t mask, u32_t value) 6 { 7 message m; 8 9 m.PADCONF_PADCONF = padconf; 10 m.PADCONF_MASK = mask; 11 m.PADCONF_VALUE = value; 12 13 return(_kernel_call(SYS_PADCONF, &m)); 14 } 15