40 const int dock_id_gpio[] = { 3, 4, 5, -1};
#define printk(level,...)
void ec_set_bit(u8 addr, u8 bit)
void ec_clr_bit(u8 addr, u8 bit)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
unsigned int get_gpios(const int *gpio_num_array)
void set_gpio(int gpio_num, int value)
void dock_disconnect(void)