local_apic_write_int_cmd
static void local_apic_write_int_cmd(uint32_t cpu_id, uint32_t cmd1);
local_apic_write_int_cmd,