/* The following inlines stuffs a configuration parameter and data value into and out of an unsigned long argument, as used by the generic pin config system. We put the parameter in the lower 8 bits and the argument in the upper 24 bits.  */
static pin_config_param_t pinconf_to_config_param(unsigned long config)
/* The following inlines stuffs a configuration parameter and data value into and out of an unsigned long argument, as used by the generic pin config system. We put the parameter in the lower 8 bits and the argument in the upper 24 bits.  */
static pin_config_param_t pinconf_to_config_param(unsigned long config)
{
    return (pin_config_param_t)(config & 0xffUL);
}