cv3d_gfx_on_off
cv3d_gfx_on_off(1, ba);
static inline void cv3d_gfx_on_off(int, volatile void *);
cv3d_gfx_on_off(0, ba);
cv3d_gfx_on_off(on > 0 ? 0 : 1, ba);