swap low/high-water marks set to 41940/62910
DF-5477 fix-validation harness loaded (debug.df5477f)
DF-5477A': st_entries=512 lie (> cap 256), FIXED code: expect EOVERFLOW (no OOB walk)
DF-5477A': result error=84 (EOVERFLOW=84), ptr=0 -> FIX HOLDS (walk refused)
DF-5477B': st_cfgtbl physical 0x7fb1c000 -> FIXED code DMAPs it to 0xffffb8007fb1c000 before deref
DF-5477B': returned without fault (error path normal)
DF-5477B': st_cfgtbl physical 0x1000000 -> FIXED code DMAPs it to 0xffffb80001000000 before deref
DF-5477B': returned without fault (error path normal)