/* Return GPIO port pin mask for a GPIO pin.  */
uint32_t pio_get_pin_group_mask(uint32_t ul_pin)
/* Return GPIO port pin mask for a GPIO pin.  */
uint32_t pio_get_pin_group_mask(uint32_t ul_pin)
{
	uint32_t ul_mask = 1 << (ul_pin & 0x1F);
	return ul_mask;
}