os::pretouch_memory should take void* instead of char* to avoid lots of unnecessary casts.
-
Thomas Schatzl
-
Thomas Schatzl
- Votes:
-
0 Vote for this issue
- Watchers:
-
2 Start watching this issue
- Created:
- Updated:
- Resolved: