#ifdef ARCH_X86_64
#include "types.h"
#include "arch/x86_64/utils.h"

void khalt() {
    __asm__ __volatile__ (
        "cli\n"
        "hlt"
    );
}
#endif