448a449
>
450a452,461
> AtomicSimpleCPU::write(Twin32_t data, Addr addr,
> unsigned flags, uint64_t *res);
>
> template
> Fault
> AtomicSimpleCPU::write(Twin64_t data, Addr addr,
> unsigned flags, uint64_t *res);
>
> template
> Fault