diff options
| -rw-r--r-- | target/arm/ptw.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target/arm/ptw.c b/target/arm/ptw.c index 36917be83e..236c3a9569 100644 --- a/target/arm/ptw.c +++ b/target/arm/ptw.c @@ -413,7 +413,7 @@ static bool granule_protection_check(CPUARMState *env, uint64_t paddress, if (pspace == ARMSS_NonSecure) { return true; } - goto fault_size; + goto fault_fail; } /* GPC Priority 4: the base address of GPTBR_EL3 exceeds PPS. */ |