Searched refs:mutex_get (Results 1 – 4 of 4) sorted by relevance
88 struct mutex_info* p = DRD_(mutex_get)(mutex); in DRD_()187 struct mutex_info* DRD_(mutex_get)(const Addr mutex) in DRD_() argument211 p = DRD_(mutex_get)(mutex); in DRD_()235 p = DRD_(mutex_get)(mutex); in DRD_()308 p = DRD_(mutex_get)(mutex); in DRD_()372 p = DRD_(mutex_get)(mutex); in DRD_()457 struct mutex_info* mutex_p = DRD_(mutex_get)(spinlock); in DRD_()507 struct mutex_info* const p = DRD_(mutex_get)(mutex); in DRD_()517 struct mutex_info* const p = DRD_(mutex_get)(mutex); in DRD_()
180 struct mutex_info* const mutex_p = DRD_(mutex_get)(arg[1]); in handle_client_request()190 struct mutex_info* const mutex_p = DRD_(mutex_get)(arg[1]); in handle_client_request()200 struct mutex_info* const mutex_p = DRD_(mutex_get)(arg[1]); in handle_client_request()220 struct mutex_info* const mutex_p = DRD_(mutex_get)(arg[1]); in handle_client_request()
43 struct mutex_info* DRD_(mutex_get)(const Addr mutex);
245 q = DRD_(mutex_get)(p->mutex); in DRD_()