AHCI_ATTACH_STATE_MUTEX_INIT
if (attach_state & AHCI_ATTACH_STATE_MUTEX_INIT) {
attach_state |= AHCI_ATTACH_STATE_MUTEX_INIT;