2 * Copyright 2009, Ingo Weinhold, ingo_weinhold@gmx.de.
3 * Distributed under the terms of the MIT License.
5 #ifndef _KERNEL_SYSTEM_PROFILER_H
6 #define _KERNEL_SYSTEM_PROFILER_H
12 #include "kernel_debug_config.h"
15 struct system_profiler_parameters
;
21 status_t
start_system_profiler(size_t areaSize
, uint32 stackDepth
,
23 void stop_system_profiler();
26 status_t
_user_system_profiler_start(
27 struct system_profiler_parameters
* parameters
);
28 status_t
_user_system_profiler_next_buffer(size_t bytesRead
,
29 uint64
* _droppedEvents
);
30 status_t
_user_system_profiler_stop();
31 status_t
_user_system_profiler_recorded(
32 struct system_profiler_parameters
* parameters
);
37 #endif /* _KERNEL_SYSTEM_PROFILER_H */