#ifndef _KERNEL_AMD64_INIT_H
#define _KERNEL_AMD64_INIT_H

#include <amd64/smp.h>

void amd64_init (struct cpu* cpu, bool load_idt);

#endif // _KERNEL_AMD64_INIT_H