cpu_ucode_intel_firmware_open
int cpu_ucode_intel_firmware_open(firmware_handle_t *, const char *);
return cpu_ucode_intel_firmware_open(fwh, fwname);