E25 - how much power can the GPIO and USB-C dole OUT

Separately, how much power can the GPIO header dole out in support of a HAT? and the same question for another USB accessory through the USB-C port?