1.1 --- a/src/xlat/xltcache.c	Tue Mar 10 04:56:43 2009 +0000
     1.2 +++ b/src/xlat/xltcache.c	Tue Mar 24 11:04:51 2009 +0000
     1.3 @@ -211,7 +211,7 @@
     1.4          xlat_recovery_record_t records = (xlat_recovery_record_t)(&block->code[block->recover_table_offset]);
     1.5          uint32_t posn;
     1.6          for( posn = 1; posn < count; posn++ ) {
     1.7 -        	if( records[posn].xlat_offset >= pc_offset ) {
     1.8 +        	if( records[posn].xlat_offset > pc_offset ) {
     1.9          		return &records[posn-1];
    1.10          	}
    1.11          }