> 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

Reply via email to