addrmap

from tcpgecko import TCPGecko
import __builtin__

def hex(value):
    return __builtin__.hex(value).lstrip("0x").rstrip("L").zfill(8).upper()

tcp = TCPGecko("192.168.0.10")
addr = 0x0E000000
OSEffectiveToPhysical = tcp.get_symbol("coreinit.rpl", "OSEffectiveToPhysical")
while (OSEffectiveToPhysical(addr) == 0):
    addr += 0x00100000
print(hex(addr))
while (OSEffectiveToPhysical(addr) != 0):
    addr -= 0x00010000
print(hex(addr))
while (OSEffectiveToPhysical(addr) == 0):
    addr += 0x00001000
print(hex(addr))
while (OSEffectiveToPhysical(addr) != 0):
    addr -= 0x00000100
print(hex(addr))
while (OSEffectiveToPhysical(addr) == 0):
    addr += 0x00000010
print(hex(addr))
while (OSEffectiveToPhysical(addr) != 0):
    addr -= 1
addr += 1
print(hex(addr) + " to 0x10000000")
print("Done! :)")
tcp.s.close()