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