コード例 #1
0
ファイル: read1.c プロジェクト: alvinooo/nachos
int
main (int argc, char *argv[])
{
    validate_buf (argc);
    printf("1 Passed\n");
    exit (-1000);
}
コード例 #2
0
ファイル: odp_buffer.c プロジェクト: rahulgvf/odp-mppa
int odp_buffer_is_valid(odp_buffer_t buf)
{
	return validate_buf(buf) != NULL;
}