sel4vmmplatsupport: Rename PAGE_SIZE constant

PAGE_SIZE_4K is a constant declared by one of our libraries, while PAGE_SIZE was previously provided by an older fork of the C library.
seL4 · Feb 13, 2025 · 9584e17 · 9584e17
1 parent 9736082
commit 9584e17
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4vmmplatsupport/src/drivers/cross_vm_connection.c b/libsel4vmmplatsupport/src/drivers/cross_vm_connection.c
@@ -139,7 +139,7 @@ static int reserve_event_bar(vm_t *vm, uintptr_t event_bar_address, struct conne
         return -1;
     }
     /* Zero out memory */
-    memset(info->event_registers, 0, PAGE_SIZE);
+    memset(info->event_registers, 0, PAGE_SIZE_4K);
     info->event_address = event_bar_address;
     return 0;
 }