Symbol: write_mbox_dword
arch/x86/kernel/cpu/microcode/intel.c
380
write_mbox_dword(mmio_base, value);
arch/x86/kernel/cpu/microcode/intel.c
381
write_mbox_dword(mmio_base, value >> 32);
arch/x86/kernel/cpu/microcode/intel.c
394
write_mbox_dword(mmio_base, chunk[i]);