Inital import

[l4.git] / kernel / fiasco / src / kern / ia32 / 64 / kmem-ia32-64.cpp

IMPLEMENTATION [amd64]:

PRIVATE static inline FIASCO_INIT_CPU
void
Kmem::init_cpu_arch(Cpu &, void **)
{}