> Are the global registers 5 and 6 really available for the operating > system or uses GCC or the linker them for a special purpose? Is it > possible to document this somewhere in to standard documentation and not > only in a header file?
This is documented in the ABIs so I think that the comment is fine as-is. -- Eric Botcazou