cv_write_port
static inline void cv_write_port(unsigned short, volatile void *);
cv_write_port(0x0040, cv_boardaddr);
cv_write_port(0x0020, cv_boardaddr);
cv_write_port (0x8020, cv_boardaddr);
cv_write_port (0x8020, cv_boardaddr);
cv_write_port(0x8040, cv_boardaddr);
cv_write_port (0x10, ba);
cv_write_port (0x8010, ba);
cv_write_port (0xff, (volatile char*)ba - 0x02000000);
cv_write_port(0x8004, (volatile char*)ba - 0x02000000);
cv_write_port(0x8080, (volatile char*)ba - 0x02000000);
cv_write_port(0x8008, (volatile char*)ba - 0x02000000);