* gdbarch.sh (gdbarch_data): Add gdbarch parameter.
This page took 0.050856 seconds and 3 git commands to generate.