/* Writes a Port pin group configuration to the hardware module. 
Writes out a given configuration of a Port pin group configuration to the hardware module. */
void system_pinmux_group_set_config(PortGroup *const port, const uint32_t mask, const struct system_pinmux_config *const config)
/* Writes a Port pin group configuration to the hardware module. 
Writes out a given configuration of a Port pin group configuration to the hardware module. */
void system_pinmux_group_set_config(PortGroup *const port, const uint32_t mask, const struct system_pinmux_config *const config)
{
	Assert(port);
	for (int i = 0; i < 32; i++) {
		if (mask & (1UL << i)) {
			_system_pinmux_config(port, (1UL << i), config);
		}
	}
}