#include <coherent_page.h>
#include <stdlib.h>

uintptr_t get_coherent_page(enum coherent_page slot) {
  switch (slot) {
  case PROP_MAILBOX:
    return (MEM_COHERENT_REGION);
  case GPIO_VIRTBUF:
    return (MEM_COHERENT_REGION + PAGE_SIZE);
  }

  abort();
}