error_t colored_upage_alloc(uint8_t* map, page_t *SAFE *page, size_t color);
error_t page_free(page_t *SAFE page);
-void *get_cont_pages(size_t order, int flags);
+void *CT(1 << order) get_cont_pages(size_t order, int flags);
void free_cont_pages(void *buf, size_t order);
void page_incref(page_t *SAFE page);