Function ipi_handler

Kernel/src/arch/x86_64/idt.cpp:337–347

	
	extern "C"
	void ipi_handler(int int_num, regs64_t* regs) {
		LocalAPICEOI();

		if (__builtin_expect(interrupt_handlers[int_num].handler != 0, 1)) {
			ISRDataPair pair = interrupt_handlers[int_num];
			pair.handler(pair.data, regs);
		} else {
			Log::Warning("Unhandled IPI: ");
			Log::Write(int_num);
		}
	}