On Wed, Mar 20, 2019 at 10:39:52PM +0000, Alistair Francis wrote: > According to the FU540 and E31 manuals the PLIC source priority > address starts at an offset of 0x04 and not 0x00. To aviod confusion > update the address and source offset to match the documentation. This > causes no difference in functionality.
Well, it starts at 0x00, but the first one is reserved. If you think that is too confusing I'd rather throw in a comment explaining this fact rather than making the calculating more complicated.
