#ifndef _BLOCKDRIVER_DRIVER_H
#define _BLOCKDRIVER_DRIVER_H
void blockdriver_handle_notify(struct blockdriver *bdp, message *m_ptr);
int blockdriver_handle_request(struct blockdriver *bdp, message *m_ptr,
thread_id_t thread);
void blockdriver_reply(message *m_ptr, int ipc_status, int reply);
#endif /* _BLOCKDRIVER_DRIVER_H */