@@ -102,10 +102,7 @@ int32 OS_OpenCreate(osal_id_t *filedes, const char *path, int32 flags, int32 acc
102
102
OS_object_token_t token ;
103
103
OS_stream_internal_record_t * stream ;
104
104
105
- if (filedes == NULL )
106
- {
107
- return OS_INVALID_POINTER ;
108
- }
105
+ OS_CHECK_POINTER (filedes );
109
106
110
107
/*
111
108
** Check for a valid access mode
@@ -266,10 +263,8 @@ int32 OS_TimedRead(osal_id_t filedes, void *buffer, size_t nbytes, int32 timeout
266
263
int32 return_code ;
267
264
268
265
/* Check Parameters */
269
- if (buffer == NULL || nbytes == 0 )
270
- {
271
- return OS_INVALID_POINTER ;
272
- }
266
+ OS_CHECK_POINTER (buffer );
267
+ OS_CHECK_SIZE (nbytes );
273
268
274
269
return_code = OS_ObjectIdGetById (OS_LOCK_MODE_REFCOUNT , LOCAL_OBJID_TYPE , filedes , & token );
275
270
if (return_code == OS_SUCCESS )
@@ -296,10 +291,8 @@ int32 OS_TimedWrite(osal_id_t filedes, const void *buffer, size_t nbytes, int32
296
291
int32 return_code ;
297
292
298
293
/* Check Parameters */
299
- if (buffer == NULL || nbytes == 0 )
300
- {
301
- return OS_INVALID_POINTER ;
302
- }
294
+ OS_CHECK_POINTER (buffer );
295
+ OS_CHECK_SIZE (nbytes );
303
296
304
297
return_code = OS_ObjectIdGetById (OS_LOCK_MODE_REFCOUNT , LOCAL_OBJID_TYPE , filedes , & token );
305
298
if (return_code == OS_SUCCESS )
@@ -373,10 +366,8 @@ int32 OS_stat(const char *path, os_fstat_t *filestats)
373
366
int32 return_code ;
374
367
char local_path [OS_MAX_LOCAL_PATH_LEN ];
375
368
376
- if (filestats == NULL )
377
- {
378
- return OS_INVALID_POINTER ;
379
- }
369
+ /* Check Parameters */
370
+ OS_CHECK_POINTER (filestats );
380
371
381
372
memset (filestats , 0 , sizeof (* filestats ));
382
373
@@ -502,10 +493,9 @@ int32 OS_cp(const char *src, const char *dest)
502
493
osal_id_t file2 ;
503
494
uint8 copyblock [512 ];
504
495
505
- if (src == NULL || dest == NULL )
506
- {
507
- return OS_INVALID_POINTER ;
508
- }
496
+ /* Check Parameters */
497
+ OS_CHECK_POINTER (src );
498
+ OS_CHECK_POINTER (dest );
509
499
510
500
file1 = OS_OBJECT_ID_UNDEFINED ;
511
501
file2 = OS_OBJECT_ID_UNDEFINED ;
@@ -595,10 +585,7 @@ int32 OS_FDGetInfo(osal_id_t filedes, OS_file_prop_t *fd_prop)
595
585
int32 return_code ;
596
586
597
587
/* Check parameters */
598
- if (fd_prop == NULL )
599
- {
600
- return (OS_INVALID_POINTER );
601
- }
588
+ OS_CHECK_POINTER (fd_prop );
602
589
603
590
memset (fd_prop , 0 , sizeof (OS_file_prop_t ));
604
591
@@ -633,10 +620,7 @@ int32 OS_FileOpenCheck(const char *Filename)
633
620
OS_object_iter_t iter ;
634
621
OS_stream_internal_record_t * stream ;
635
622
636
- if (Filename == NULL )
637
- {
638
- return (OS_INVALID_POINTER );
639
- }
623
+ OS_CHECK_POINTER (Filename );
640
624
641
625
return_code = OS_ERROR ;
642
626
@@ -672,10 +656,7 @@ int32 OS_CloseFileByName(const char *Filename)
672
656
OS_object_iter_t iter ;
673
657
OS_stream_internal_record_t * stream ;
674
658
675
- if (Filename == NULL )
676
- {
677
- return (OS_INVALID_POINTER );
678
- }
659
+ OS_CHECK_POINTER (Filename );
679
660
680
661
return_code = OS_FS_ERR_PATH_INVALID ;
681
662
0 commit comments