apps/odroid_vm/components/helloworld/linux_userlevel/build/vchan_code/sel4_vchan_testsuite.c
static int vchantests_funnel_verify_buffer(char *buf, int sz) {
	char c = 0;
	int count;
	int failed = 0;
	for(count = 0; count < sz; count++) {
		if(buf[count] != c) {
			TERROR("funnel: buffer mismatch :expected = %c|actual = %c: \n", c, buf[count]);
			failed = -1;
		}
		c++;
	}
	return failed;
}
/*
    vchantests_funnel_verify_buffer:
        Check that buffer that was sent back matches the original data
*/
Check that buffer that was sent back matches the original data
Check that buffer that was sent back matches the original data
static int vchantests_funnel_verify_buffer(char *buf, int sz) {
	char c = 0;
	int count;
	int failed = 0;
	for(count = 0; count < sz; count++) {
		if(buf[count] != c) {
			TERROR("funnel: buffer mismatch :expected = %c|actual = %c: \n", c, buf[count]);
			failed = -1;
		}
		c++;
	}
	return failed;
}
static int vchantests_funnel_verify_buffer ( char * buf , int sz ) { char c = 0 ; int count ; int failed = 0 ; for ( count = 0 ; count < sz ; count ++ ) { if ( buf [ count ] != c ) { TERROR ( " \n " , c , buf [ count ] ) ; failed = -1 ; } c ++ ; } return failed ; }
vchantests_funnel_verify_buffer:
Check that buffer that was sent back matches the original data
vchantests_funnel_verify_buffer : Check that buffer that was sent back matches the original data