mutex_lockword64
volatile uint64_t *lockp = (volatile uint64_t *)&mp->mutex_lockword64;
(void) clear_lockbyte64(&mp->mutex_lockword64);
old_lockword64 = clear_lockbyte64(&mp->mutex_lockword64);
if (set_lock_byte64(&mp->mutex_lockword64, udp->pid) == 0) {