src/bin/debug/profile/profile.cpp

684

system_profiler_buffer_header* bufferHeader;

src/bin/debug/profile/profile.cpp

820

system_profiler_buffer_header* bufferHeader

src/bin/debug/profile/profile.cpp

821

= (system_profiler_buffer_header*)info.address;

src/bin/debug/scheduling_recorder/scheduling_recorder.cpp

133

system_profiler_buffer_header* bufferHeader;

src/bin/debug/scheduling_recorder/scheduling_recorder.cpp

227

system_profiler_buffer_header* bufferHeader

src/bin/debug/scheduling_recorder/scheduling_recorder.cpp

228

= (system_profiler_buffer_header*)info.address;

src/system/kernel/debug/system_profiler.cpp

187

system_profiler_buffer_header* fHeader;

src/system/kernel/debug/system_profiler.cpp

393

fHeader = (system_profiler_buffer_header*)areaBase;