1 #ifndef _BLOCKDRIVER_TRACE_H 2 #define _BLOCKDRIVER_TRACE_H 3 4 int trace_ctl(dev_t minor, unsigned long request, endpoint_t endpt, 5 cp_grant_id_t grant); 6 7 void trace_start(thread_id_t thread_id, message *m_ptr); 8 void trace_setsize(thread_id_t thread_id, size_t size); 9 void trace_finish(thread_id_t thread_id, int r); 10 11 #endif /* _BLOCKDRIVER_TRACE_H */ 12