На STM32F4Discovery используется микроконтроллер STM32F407VG и поэтому возможности портов ввода-вывода общего назначения GPIO и другой периферии определяются именно этим микроконтроллером.
Описание регистров, определяющих работу портов GPIO можно найти здесь: Порты ввода/вывода общего назначения (GPIO - General-Purpose I/Os) (http://firsthand.ru/node/305)