/* Writes a Port pin configuration to the hardware module. 
Writes out a given configuration of a Port pin configuration to the hardware module. */
void system_pinmux_pin_set_config(const uint8_t gpio_pin, const struct system_pinmux_config *const config)
/* Writes a Port pin configuration to the hardware module. 
Writes out a given configuration of a Port pin configuration to the hardware module. */
void system_pinmux_pin_set_config(const uint8_t gpio_pin, const struct system_pinmux_config *const config)
{
	PortGroup *const port = system_pinmux_get_group_from_gpio_pin(gpio_pin);
	uint32_t pin_mask = (1UL << (gpio_pin % 32));
	_system_pinmux_config(port, pin_mask, config);
}