#include <limits.h>
#include <m/proc.h>
#include <stddef.h>
#include <stdint.h>
#include <string/string.h>

void app_main (void) {
  uintptr_t out_paddr;
  int mem_rid = m_proc_create_resource_mem (16, RV_PRIVATE, &out_paddr);

  m_proc_map (out_paddr, M_PROC_MAP_BASE, 16, PM_PRESENT | PM_RW | PM_USER);

  memset ((void*)M_PROC_MAP_BASE, 0, M_PAGE_SIZE * 16);

  m_proc_unmap (M_PROC_MAP_BASE, 16);

  m_proc_drop_resource (mem_rid);

  /* m_proc_test (); */

  int mutex_rid = m_proc_create_resource_mutex (RV_PRIVATE);

  m_proc_mutex_lock (mutex_rid);
  /* m_proc_test (); */
  m_proc_mutex_unlock (mutex_rid);

  /* m_proc_test (); */
}