ECR_BKGD_COLOR
*((volatile unsigned long *)((volatile char*)ba + ECR_BKGD_COLOR)) = 0;
vgaw16(ba, ECR_BKGD_COLOR, 0x01);