ECR_FRGD_COLOR
*((volatile unsigned long *)((volatile char*)ba + ECR_FRGD_COLOR)) = 0xFF;
vgaw16(ba, ECR_FRGD_COLOR, 0x00);