Removed old queue interface header file
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 15 Nov 2016 15:58:25 +0000 (16:58 +0100)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 15 Nov 2016 15:58:25 +0000 (16:58 +0100)
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

include/devif/queue.h [deleted file]
lib/blk/blk_ahci/blk_ahci.h
lib/blk/blk_ahci/device_impl.c
usr/drivers/ahcid/ahcid.c
usr/drivers/ahcid/test.c

diff --git a/include/devif/queue.h b/include/devif/queue.h
deleted file mode 100644 (file)
index b2869bd..0000000
+++ /dev/null
@@ -1,134 +0,0 @@
-/*
- * Copyright (c) 2016 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, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
- */
-#ifndef DEVICE_QUEUE_INTERFACE_H_
-#define DEVICE_QUEUE_INTERFACE_H_ 1
-
-#include <barrelfish/barrelfish.h>
-
-typedef uint64_t regionid_t;
-typedef uint64_t bufferid_t;
-
-/*
- * ===========================================================================
- * Device queue creation and destruction
- * ===========================================================================
- */
-
-/**
- * @brief creates a queue
- * @returns error on failure or SYS_ERR_OK on success
- */
-
-errval_t devq_create(void* st, char *device_name, uint64_t flags, void **queue);
-
-/**
- * @brief destroys the device queue
- *
- * @param q           The queue state to free (and the device queue to be
-                      shut down in the driver)
- *
- * @returns error on failure or SYS_ERR_OK on success
- */
-errval_t devq_destroy(void *queue);
-
-/*
- * ===========================================================================
- * Datapath functions
- * ===========================================================================
- */
-
-/**
- * @brief enqueue a buffer into the device queue
- *
- * @param q             The device queue to call the operation on
- * @param region_id     Id of the memory region the buffer belongs to
- * @param base          Physical address of the start of the enqueued buffer
- * @param length        Length of the enqueued buffer
- * @param buffer_id     The buffer id of the enqueue buffer (TODO only for
- *                      fixed size buffers?)
- * @param misc_flags    Any other argument that makes sense to the device queue
- *
- * @returns error on failure or SYS_ERR_OK on success
- *
- */
-errval_t devq_enqueue(void *q, regionid_t region_id, lpaddr_t base,
-                      size_t length, bufferid_t buffer_id, uint64_t flags);
-
-/**
- * @brief dequeue a buffer from the device queue
- *
- * @param q             The device queue to call the operation on
- * @param region_id     Return pointer to the id of the memory
- *                      region the buffer belongs to
- * @param base          Return pointer to the physical address of
- *                      the of the buffer
- * @param length        Return pointer to the length of the dequeue buffer
- * @param buffer_id     Return pointer to the buffer id of the dequeued buffer
- *
- * @returns error on failure or SYS_ERR_OK on success
- *
- */
-errval_t devq_dequeue(void *q, regionid_t *region_id, lpaddr_t *base,
-                      size_t *length, bufferid_t *buffer_id);
-/*
- * ===========================================================================
- * Control Path
- * ===========================================================================
- */
-
-/**
-* @brief Add a memory region that can be used as buffers to
-*        the device queue
-*
-* @param q              The device queue to call the operation on
-* @param cap            A Capability for some memory
-* @param region_id      Return pointer to a region id that is assigned
-*                       to the memory
-*
-* @returns error on failure or SYS_ERR_OK on success
-*
-*/
-errval_t devq_register(void *q, struct capref cap, regionid_t *region_id);
-
-/**
-* @brief Remove a memory region
-*
-* @param q              The device queue to call the operation on
-* @param region_id      The region id to remove from the device
-*                       queues memory
-* @param cap            The capability to the removed memory
-*
-* @returns error on failure or SYS_ERR_OK on success
-*
-*/
-errval_t devq_remove(void *q, regionid_t region_id);
-
-/**
-* @brief Send a notification about new buffers on the queue
-*
-* @param q      The device queue to call the operation on
-*
-* @returns error on failure or SYS_ERR_OK on success
-*
-*/
-errval_t devq_sync(void *q);
-
-/**
-* @brief Send a control message to the device queue
-*
-* @param q       The device queue to call the operation on
-* @param request A sting encoding the control message
-* @param value   A value for the request.
-*
-* @returns error on failure or SYS_ERR_OK on success
-*
-*/
-errval_t devq_control(void *q, uint64_t request, uint64_t value);
-
-#endif /* DEVICE_QUEUE_INTERFACE_H_ */
index 00396b6..40c0e8f 100644 (file)
@@ -14,7 +14,7 @@
 #include <barrelfish/barrelfish.h>
 #include <pci/mem.h>
 #include <blk/ahci.h>
-#include <devif/queue.h>
+//#include <devif/queue.h>
 
 #include <dev/ahci_hba_dev.h>
 #include <dev/ahci_port_dev.h>
@@ -82,13 +82,17 @@ enum RequestStatus {
 };
 
 struct dev_queue_request {
-    regionid_t region_id;
+    // TODO change back to regionid_t
+    //regionid_t region_id;
+    uint32_t region_id;
     struct dma_mem region;
     uint64_t command_slot;
 
     lpaddr_t base;
     size_t length;
-    bufferid_t buffer_id;
+    // TODO change back to buffer_t
+    //bufferid_t buffer_id;
+    uint32_t buffer_id;
 
     errval_t error;
     enum RequestStatus status;
index b8221d5..417ba7e 100644 (file)
@@ -1,12 +1,13 @@
 #include <barrelfish/barrelfish.h>
 #include <assert.h>
-#include <devif/queue.h>
+//#include <devif/queue.h>
 
 #include "blk_ahci.h"
 #include "ahci_dev.h" // TODO: get rid of this include
 #include "../dma_mem/dma_mem.h"
 #include "../blk_debug.h"
 
+#if 0
 static bool is_valid_buffer(struct dev_queue* dq, size_t slot)
 {
     return !capref_is_null(dq->buffers[slot].frame);
@@ -235,3 +236,4 @@ errval_t devq_control(void *q, uint64_t request, uint64_t value)
 {
     return SYS_ERR_OK;
 }
+#endif
index e6f0e94..582db01 100644 (file)
@@ -26,8 +26,8 @@ struct device_id {
 
 static void ahci_interrupt_handler(void *arg)
 {
-    void devq_interrupt_handler(void*);
-    devq_interrupt_handler(dq);
+//    void devq_interrupt_handler(void*);
+//    devq_interrupt_handler(dq);
 
 #ifdef DISABLE_INTERRUPTS
     assert(chan != NULL);
index 4dcfb42..3c0bf71 100644 (file)
@@ -3,7 +3,7 @@
 
 #include <stdarg.h>
 #include <bench/bench.h>
-#include <devif/queue.h>
+//#include <devif/queue.h>
 
 struct dma_mem {
     lvaddr_t vaddr;         ///< virtual address of the mapped region
@@ -15,6 +15,7 @@ struct dma_mem {
 
 void test_runner(int n, ...)
 {
+#if 0
     va_list arguments;
     va_start(arguments, n);
 
@@ -81,11 +82,14 @@ void test_runner(int n, ...)
             break;
         }
     }
-
     // Harness line
     printf("AHCI testing completed.\n");
+#endif
+    // Harness line
+    printf("AHCI testing not implemented.\n");
 }
 
+#if 0
 static void frame_alloc_identify(size_t size, struct capref *frame, struct frame_identity *id)
 {
     errval_t err;
@@ -109,7 +113,6 @@ static void wait_for_interrupt(void)
         USER_PANIC_ERR(err, "error in event_dispatch for wait_for_interrupt");
     }
 }
-
 void ahci_simple_test(void)
 {
     errval_t err;
@@ -251,7 +254,6 @@ void ahci_perf_sequential(size_t buffer_size, size_t block_size, bool write)
 
     cap_destroy(frame);
 }
-
 void ahci_verify_sequential(size_t buffer_size, size_t block_size)
 {
     bench_init();
@@ -354,3 +356,4 @@ void ahci_verify_sequential(size_t buffer_size, size_t block_size)
         USER_PANIC_ERR(err, "devq_remove failed.");
     }
 }
+#endif