2011-11-24 14:50:13 +01:00
|
|
|
#ifndef _BLOCKDRIVER_TRACE_H
|
|
|
|
#define _BLOCKDRIVER_TRACE_H
|
|
|
|
|
2012-03-24 16:16:34 +01:00
|
|
|
int trace_ctl(dev_t minor, unsigned int request, endpoint_t endpt,
|
|
|
|
cp_grant_id_t grant);
|
2011-11-24 14:50:13 +01:00
|
|
|
|
2012-03-24 16:16:34 +01:00
|
|
|
void trace_start(thread_id_t thread_id, message *m_ptr);
|
|
|
|
void trace_setsize(thread_id_t thread_id, size_t size);
|
|
|
|
void trace_finish(thread_id_t thread_id, int r);
|
2011-11-24 14:50:13 +01:00
|
|
|
|
|
|
|
#endif /* _BLOCKDRIVER_TRACE_H */
|