What's the policy about using malloc vs. xmalloc in gdbserver? I notice both are used, with xmalloc being favored, but there are still quite a few calls to malloc.