Gating for vga.h