uint32_t ioportmask_t
Digital I/O port sized unsigned type.
GPIO_TypeDef * ioportid_t
Port Identifier.
this file is about general input/output utility methods, not much EFI-specifics
const char * hwPhysicalPinName(Gpio brainPin)
void gpio_pin_markUnused(ioportid_t port, ioportmask_t pin)
size_t getBrainPinOnchipNum()
bool brain_pin_is_onchip(Gpio brainPin)
const char * hwPortname(Gpio brainPin)
bool brain_pin_is_ext(Gpio brainPin)
int getBrainPinIndex(Gpio brainPin)
void pinDiag2string(char *buffer, size_t size, brain_pin_diag_e pin_diag)
const char * getBoardSpecificPinName(Gpio brainPin)
int getPortPinIndex(ioportid_t port, ioportmask_t pin)
const char * hwOnChipPhysicalPinName(ioportid_t hwPort, int hwPin)
const char *& getBrainUsedPin(size_t idx)
void debugBrainPin(char *buffer, size_t size, brain_pin_e brainPin)
const char * getPinFunction(brain_input_pin_e brainPin)
bool isBrainPinValid(Gpio brainPin)
bool brain_pin_markUsed(brain_pin_e brainPin, const char *msg)
ioportid_t getBrainPinPort(brain_pin_e brainPin)
bool gpio_pin_markUsed(ioportid_t port, ioportmask_t pin, const char *msg)
static BigBufferHandle buffer