diff --git a/src/system/kernel/debug/system_profiler.cpp b/src/system/kernel/debug/system_profiler.cpp index 4902ec7d95..de5af8583a 100644 --- a/src/system/kernel/debug/system_profiler.cpp +++ b/src/system/kernel/debug/system_profiler.cpp @@ -7,6 +7,7 @@ #include #include +#include #include #include @@ -1338,8 +1339,8 @@ SystemProfiler::_AllocateBuffer(size_t size, int event, int cpu, int count) // Buffer is wrapped or needs wrapping. if (end < fBufferCapacity) { // not wrapped yet, but needed - system_profiler_event_header* header - = (system_profiler_event_header*)(fBufferBase + end); + BytePointer header( + fBufferBase + end); header->event = B_SYSTEM_PROFILER_BUFFER_END; fBufferSize = fBufferCapacity - fBufferStart; end = 0; @@ -1352,8 +1353,7 @@ SystemProfiler::_AllocateBuffer(size_t size, int event, int cpu, int count) } } - system_profiler_event_header* header - = (system_profiler_event_header*)(fBufferBase + end); + BytePointer header(fBufferBase + end); header->event = event; header->cpu = cpu; header->size = size - sizeof(system_profiler_event_header);