#ifndef MEM_H_
#define MEM_H_
+#include <stdint.h>
+
+enum {
+ SEL_KCODE = 1,
+ SEL_KDATA = 2
+};
+
void mem_init(void);
+uint16_t selector(int idx, int rpl);
+
+/* defined in mem.asm */
+void setup_selectors(uint16_t code, uint16_t data);
+
#endif /* MEM_H_ */