[OpenBIOS] r401 - openbios-devel/include/ppc