00001 /* $Id: res.h 28562 2007-05-21 17:20:44Z ch12 $ */ 00002 /*****************************************************************************/ 00011 /* (c) 2003 Technische Universitaet Dresden 00012 * This file is part of DROPS, which is distributed under the terms of the 00013 * GNU General Public License 2. Please see the COPYING file for details. 00014 */ 00015 00016 #ifndef __L4IO_SERVER_INCLUDE_RES_H_ 00017 #define __L4IO_SERVER_INCLUDE_RES_H_ 00018 00019 int io_res_init(io_client_t*); 00020 00021 /* PCIlib callbacks */ 00022 int callback_request_region(unsigned long, unsigned long); 00023 int callback_request_mem_region(unsigned long, unsigned long); 00024 void callback_announce_mem_region(unsigned long, unsigned long); 00025 int callback_handle_pci_device(unsigned short vendor, unsigned short device); 00026 int add_device_inclusion(const char*s); 00027 int add_device_exclusion(const char*s); 00028 int bios_map_area(unsigned long *); 00029 void * bios_phys_to_virt(unsigned long); 00030 00031 /* IO port space */ 00032 #define MAX_IO_PORT (L4_IOPORT_MAX - 1) 00033 /* IO memory space */ 00034 #define MAX_IO_MEMORY 0xffffffff 00035 00037 /* ISA DMA */ 00038 #define MAX_ISA_DMA 8 00040 #ifndef NO_DOX 00041 void list_res(void); 00042 #endif 00043 00044 #endif