void acpigen_emit_namestring(const char *namepath)
void acpigen_write_store(void)
void acpigen_write_integer(uint64_t data)
void acpigen_emit_byte(unsigned char b)
#define printk(level,...)
#define BIOS_WARNING
BIOS_WARNING - Bad configuration.
#define SOC_GPIO_TOTAL_PINS
int acpigen_soc_get_tx_gpio(unsigned int gpio_num)
int acpigen_soc_clear_tx_gpio(unsigned int gpio_num)
static int acpigen_soc_gpio_op(const char *op, unsigned int gpio_num)
int acpigen_soc_read_rx_gpio(unsigned int gpio_num)
int acpigen_soc_set_tx_gpio(unsigned int gpio_num)
static int acpigen_soc_get_gpio_state(const char *op, unsigned int gpio_num)
#define AMD_GPIO_FIRST_REMOTE_GPIO_NUMBER