/* * Call BIOS32 to locate the specified BIOS32 service, and fill * in the entry point information. */