cvscreen
static inline void cvscreen(int, volatile void *);
cvscreen(0, (volatile char*)ba - 0x02000000);
cvscreen(1, (volatile char*)ba - 0x02000000);
cvscreen(0, (volatile char*)ba - 0x02000000);
cvscreen(1, (volatile char *)gp->g_regkva - 0x02000000);