/* f* bus_vcxk/vcxk_setpixel FUNCTION set the pixel with the given color PARAMETER x pixel colum y pixel row color <0x40 off/black >0x40 on  */
void vcxk_setpixel(int x, int y, unsigned long color)
/* f* bus_vcxk/vcxk_setpixel FUNCTION set the pixel with the given color PARAMETER x pixel colum y pixel row color <0x40 off/black >0x40 on  */
void vcxk_setpixel(int x, int y, unsigned long color)
{
	vu_short dataptr;
	if ((x < display_width) && (y < display_height)) {
		dataptr = ((x / 16)) + (y * (display_bwidth >> 1));
		color = ((color >> 16) & 0xFF) |
			    ((color >> 8) & 0xFF) | (color & 0xFF);
		if (color > 0x40) {
			VCXK_BWS_WORD_SET(dataptr, VCBITMASK(x));
		} else {
			VCXK_BWS_WORD_CLEAR(dataptr, VCBITMASK(x));
		}
	}
}