PDC2_SATA_PLUG_CSR
hotplug_offset = PDC2_SATA_PLUG_CSR;
unsigned int hotplug_offset = PDC2_SATA_PLUG_CSR;