[PATCH] Add machine type to gdbarch_register_osbi

[Eli Zaretskii]

On Sat, 21 Dec 2002, Mark Kettenis wrote:

> Last week brought us two new gdbarch_init_osabi calls, so below is
> what I actually checked in.

Is this function documented in gdbint.texinfo?  If so, the docs needs to 
be updated as well.