drivers/escc.h

   1
   2 #define IO_ESCC_SIZE    0x00001000
   3 #define IO_ESCC_OFFSET  0x00013000
   4
   5 #define ZS_REGS         8
   6
   7 void escc_init(const char *path, phys_addr_t addr);
   8 void ob_zs_init(phys_addr_t base, uint64_t offset, int intr, int slave,
   9                 int keyboard);