1 files changed, 4 insertions, 4 deletions
diff --git a/os/rt/src/chmemcore.c b/os/rt/src/chmemcore.c
index 2932e09f9..901fb5828 100644
--- a/os/rt/src/chmemcore.c
+++ b/os/rt/src/chmemcore.c
@@ -134,8 +134,8 @@ void *chCoreAllocI(size_t size) {
   chDbgCheckClassI();
 
   size = MEM_ALIGN_NEXT(size);
-  /*lint -save -e946 -e947 [18.2, 18.3] Normal pointers arithmetic, it
-    is safe.*/
+  /*lint -save -e9033 -e946 -e947 [10.8, 18.2, 18.3] Normal pointers
+    arithmetic, it is safe.*/
   if ((size_t)(endmem - nextmem) < size) {
   /*lint -restore*/
     return NULL;
@@ -155,8 +155,8 @@ void *chCoreAllocI(size_t size) {
  */
 size_t chCoreGetStatusX(void) {
 
-  /*lint -save -e946 -e947 [18.2, 18.3] Normal pointers arithmetic, it
-    is safe.*/
+  /*lint -save -e9033 -e946 -e947 [10.8, 18.2, 18.3] Normal pointers
+    arithmetic, it is safe.*/
   return (size_t)(endmem - nextmem);
   /*lint -restore*/
 }