#ifndef EE_KERNEL_H
#define EE_KERNEL_H

void EiInit();
void FlushCache(int);

#endif // EE_KERNEL_H