cv3dscreen
cv3dscreen(0, cv3d_vcode_switch_base);
cv3dscreen(1, cv3d_vcode_switch_base);
static inline void cv3dscreen(int, volatile void *);
cv3dscreen(0, cv3d_vcode_switch_base);
cv3dscreen(1, cv3d_vcode_switch_base);