예제 #1
0
파일: read1.c 프로젝트: alvinooo/nachos 
int
main (int argc, char *argv[])
{
    validate_buf (argc);
    printf("1 Passed\n");
    exit (-1000);
}
예제 #2
0
int odp_buffer_is_valid(odp_buffer_t buf)
{
	return validate_buf(buf) != NULL;
}