#ifndef KCOMMON_H
#define KCOMMON_H

#include <stdint.h>

void enable_interrupts();
void disable_interrupts();
uint32_t fetch_cr3();

#endif