#ifndef X86_64_KERNEL_H
#define X86_64_KERNEL_H 1

#include <types.h>


#endif