A more generic way of passing caps to user-space drivers.
[barrelfish] / usr / drivers / omap44xx / fdif / fdif.h
index 95fb1f5..b428e48 100644 (file)
@@ -1,3 +1,12 @@
+/*
+ * Copyright (c) 2013, ETH Zurich.
+ * All rights reserved.
+ *
+ * This file is distributed under the terms in the attached LICENSE file.
+ * If you do not find this file, copies can be found by writing to:
+ * ETH Zurich D-INFK, CAB F.78, Universitaetstr 6, CH-8092 Zurich.
+ */
+
 #ifndef FDIF_H_
 #define FDIF_H_
 
@@ -12,9 +21,6 @@ struct gimage {
   uint8_t    pixel_data[320 * 240];
 };
 
-errval_t map_device_register(lpaddr_t address, size_t size, lvaddr_t** return_address) ;
-errval_t init_memory_manager(void);
-
 #define FDIF_DEBUG(x...) printf("fdif: " x)
 
 #endif // FDIF_H_
\ No newline at end of file