/* * AcpiOsFree: * * Free previously allocated memory. */