system/kernel/elf.cpp

1425 		addr_t deltaFound = INT_MAX;
1464 				if (symbolDelta < deltaFound) {
1465 					deltaFound = symbolDelta;
1483 			if (deltaFound < INT_MAX) {
1489 					deltaFound = INT_MAX;
1495 			if (deltaFound < INT_MAX)
1628 	addr_t deltaFound = INT_MAX;
1667 				if (exactMatch || symbolDelta < deltaFound) {
1668 					deltaFound = symbolDelta;
1696 					if (exactMatch || symbolDelta < deltaFound) {
1697 						deltaFound = symbolDelta;