[OpenBIOS] r520 - in trunk/openbios-devel/include: ppc sparc64