apps/odroid_vm/components/helloworld/linux_userlevel/build/vchan_code/sel4_vchan_testsuite.c
int verify_ctrl_correctness(libvchan_t *ctrl) {
	int dready = libvchan_data_ready(ctrl);
	int bspace = libvchan_buffer_space(ctrl);
	if(bspace != FILE_DATAPORT_MAX_SIZE) {
		TERROR("Bad ctrl buffer after test, got %d (want %d)", bspace, FILE_DATAPORT_MAX_SIZE);
		return -1;
	}

	if(dready != 0) {
		TERROR("Bad ctrl data ready after test, got %d (want %d)", dready, 0);
		return -1;
	}

	return 0;
}
/*
    verify_ctrl_correctness:
        Make sure that ctrl has no data to read, or no data is yet to be read
*/
Make sure that ctrl has no data to read, or no data is yet to be read
Make sure that ctrl has no data to read or no data is yet to be read
int verify_ctrl_correctness(libvchan_t *ctrl) {
	int dready = libvchan_data_ready(ctrl);
	int bspace = libvchan_buffer_space(ctrl);
	if(bspace != FILE_DATAPORT_MAX_SIZE) {
		TERROR("Bad ctrl buffer after test, got %d (want %d)", bspace, FILE_DATAPORT_MAX_SIZE);
		return -1;
	}
	if(dready != 0) {
		TERROR("Bad ctrl data ready after test, got %d (want %d)", dready, 0);
		return -1;
	}
	return 0;
}
int verify_ctrl_correctness ( libvchan_t * ctrl ) { int dready = libvchan_data_ready ( ctrl ) ; int bspace = libvchan_buffer_space ( ctrl ) ; if ( bspace != FILE_DATAPORT_MAX_SIZE ) { TERROR ( " " , bspace , FILE_DATAPORT_MAX_SIZE ) ; return -1 ; } if ( dready != 0 ) { TERROR ( " " , dready , 0 ) ; return -1 ; } return 0 ; }
verify_ctrl_correctness:
Make sure that ctrl has no data to read, or no data is yet to be read
verify_ctrl_correctness : Make sure that ctrl has no data to read or no data is yet to be read