On Tue, 2025-12-02 at 21:59 -0800, John Hubbard wrote:
> + // Read GSP falcon mailbox0
> + *mbox0 = gsp_falcon.read_mailbox0(bar);
> +
> + // Check 1: If mbox0 has 0xbadf4100 pattern, GSP is still locked down
> + if *mbox0 != 0 && (*mbox0 & 0xffffff00) == 0xbadf4100 {
> + return false;
> + }Isn't this effectively triggering a PRI exception, because the register cannot be read and that's why it's returning BADF?
