clear_lockbyte64
(void) clear_lockbyte64(&mp->mutex_lockword64);
old_lockword64 = clear_lockbyte64(&mp->mutex_lockword64);