#ifndef KERNEL_INCLUDED_PROTECTED
#define KERNEL_INCLUDED_PROTECTED 1
#include "info.h"
void protected_initialize(const struct Kernel_Info *kinfo);
#endif