system76-coreboot/src/include/cpu/intel/microcode.h

void intel_update_microcode(void *microcode_updates);