/* f* bus_vcxk/vcxk_request FUNCTION requests viewing of display memory  */
int vcxk_request(void)
/* f* bus_vcxk/vcxk_request FUNCTION requests viewing of display memory  */
int vcxk_request(void)
{
	VCXK_CLR_PIN(CONFIG_SYS_VCXK_REQUEST_PORT,
		CONFIG_SYS_VCXK_REQUEST_PIN)
	VCXK_SET_PIN(CONFIG_SYS_VCXK_REQUEST_PORT,
		CONFIG_SYS_VCXK_REQUEST_PIN);
	return 1;
}