fix lint error in syncedmem.hpp