A GPIO Driver in Rust
In the function 'pl061_irq_type' the original code has (line 224):    writeb(gpiois, pl061->base + GPIOIS);
    writeb(gpioibe, pl061->base + GPIOIBE);
    writeb(gpioiev, pl061->base + GPIOIEV);

but the translated code has a differing order:    pl061.base.writeb(gpioiev, GPIOIEV);
    pl061.base.writeb(gpiois, GPIOIS);
    pl061.base.writeb(gpioibe, GPIOIBE);

Isn't the order of operations important when talking to I/O?