#ifndef _KERNEL_AMD64_INIT_H
#define _KERNEL_AMD64_INIT_H

void amd64_init (void);

#endif // _KERNEL_AMD64_INIT_H