l4/pkg/dde/include/ddekit/resources.h

   1 #pragma once
   2
   3 #include <l4/sys/compiler.h>
   4 #include <l4/dde/ddekit/types.h>
   5
   6 EXTERN_C_BEGIN
   7
   8 int ddekit_request_dma(int nr);
   9 int ddekit_release_dma(int nr);
  10 int ddekit_request_io (ddekit_addr_t start, ddekit_addr_t count);
  11 int ddekit_release_io (ddekit_addr_t start, ddekit_addr_t count);
  12 int ddekit_request_mem(ddekit_addr_t start, ddekit_addr_t count, ddekit_addr_t *vaddr);
  13 int ddekit_release_mem(ddekit_addr_t start, ddekit_addr_t count);
  14
  15 EXTERN_C_END