ERRATA

  1. OSMemCreate() casts void *addr to INT32U if arg checking is enabled. For 64-bit systems, this is a cast to a smaller data type.

    1. Disabling argument checking will prevent this cast from causing a warning.

    2. If argument checking can not be disabled, the cast can be changed from INT32U to INT64U. However, you must ensure that INT64U is properly defined in the port files for your platform.