Function IPIHalt

Kernel/src/arch/x86_64/idt.cpp:131–134

namespace IDT{
	void IPIHalt(void*, regs64_t* r){
		asm("cli");
		asm("hlt");
	}

	void InvalidInterruptHandler(void*, regs64_t* r){
		Log::Warning("Invalid interrupt handler called!");