/* Default disk sata address 0x1221 is the magic number as present in real hardware, so use it here, too.  */
static uint64_t megasas_get_sata_addr(uint16_t id)
/* Default disk sata address 0x1221 is the magic number as present in real hardware, so use it here, too.  */
static uint64_t megasas_get_sata_addr(uint16_t id)
{
    uint64_t addr = (0x1221ULL << 48);
    return addr & (id << 24);
}