Write to memory-mapped register has actually reached the device

Hello everyone,

I'm using an ARMv7 platform (Cortex A9).

The hardware designer said something that confused me: he said that when a driver writes to a device memory-mapped register, there is no way to "know" when the write has actually reached the device, other than to read the value back.

I had been using this kind of code:

static void __iomem *device_base;

  device_base = ioremap(DEVICE_ADDR, RANGE);
  writel_relaxed(val, device_base + N);

The situation where he said this would bite me is:

write to a device register to clear an interrupt notification unmask interrupts

The interrupt might fire because the interrupt bit has not been cleared yet. Does that make any sense?

Should I use writel instead of writel_relaxed in that situation? Do I really have to read-after-write?

Regards.