#ifndef _KERNEL_AMD64_INIT_H
#define _KERNEL_AMD64_INIT_H

void amd64_init(void);

#endif // _KERNEL_AMD64_INIT_H