Do a sync when interrupt mask changes so we can recompute the next interrupt cycle. Also fix a bug in which the SR part of ORI to SR was not being performed.

#ifndef MEM_H_
#define MEM_H_

#include <stddef.h>

#define PAGE_SIZE 4096

void * alloc_code(size_t *size);

#endif //MEM_H_