[OpenBIOS] [commit] r715 - trunk/openbios-devel/include/libopenbios