AMD_DBSTAT_OFFSET
return (u64)readw(mmio + AMD_DBSTAT_OFFSET);
writew((u16)db_bits, mmio + AMD_DBSTAT_OFFSET);
u.v32 = readl(mmio + AMD_DBSTAT_OFFSET);