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