X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/b2609562b3d4fc548afcc0a3dfe4ff5fd4ae3d36..f0dcb6b97d6d40f67698d1f71ac26970f1776f82:/lock_client.h diff --git a/lock_client.h b/lock_client.h index 728fbf7..654cf4f 100644 --- a/lock_client.h +++ b/lock_client.h @@ -55,7 +55,7 @@ class lock_client { fifo release_fifo; mutex lock_table_lock; lock_map lock_table; - lock_state &get_lock_state(lock_protocol::lockid_t lid); + lock_state & get_lock_state(lock_protocol::lockid_t lid); public: static in_port_t last_port; lock_client(string xdst, lock_release_user *l = 0); @@ -63,7 +63,7 @@ class lock_client { lock_protocol::status acquire(lock_protocol::lockid_t); lock_protocol::status release(lock_protocol::lockid_t); int stat(lock_protocol::lockid_t); - void releaser(); + void releaser NORETURN (); rlock_protocol::status revoke_handler(int &, lock_protocol::lockid_t, lock_protocol::xid_t); rlock_protocol::status retry_handler(int &, lock_protocol::lockid_t, lock_protocol::xid_t); };