/tmp/l4check/full_tree/trunk/l4/pkg/l4io/server/include/res.h File Reference

L4Env l4io I/O Server Resource Management Module Interface. More...

Go to the source code of this file.

Defines
#define	MAX_IO_PORT   (L4_IOPORT_MAX - 1)
	last valid I/O port
#define	MAX_IO_MEMORY   0xffffffff
	some GB IO memory; remember: physically addressed
#define	MAX_ISA_DMA   8
	8 DMA channels
Functions
int	io_res_init (io_client_t *)
	Resource Module Initialization.
int	callback_request_region (unsigned long, unsigned long)
	Request I/O port region.
int	callback_request_mem_region (unsigned long, unsigned long)
	Request I/O memory region.
void	callback_announce_mem_region (unsigned long, unsigned long)
	Announce I/O memory region.
int	callback_handle_pci_device (unsigned short vendor, unsigned short device)
	Check if we should handle this specific PCI device This is checked against the parameters the user provided on startup.
int	add_device_inclusion (const char *s)
	add a new inclusion-entry
int	add_device_exclusion (const char *s)
	add a new inclusion-entry
int	bios_map_area (unsigned long *)
	Map the BIOS32 service area.
void *	bios_phys_to_virt (unsigned long)
	BIOS32 service area-specific address translation.

---

Detailed Description

L4Env l4io I/O Server Resource Management Module Interface.

Date:

05/28/2003

Author:

Christian Helmuth <ch12@os.inf.tu-dresden.de>

Definition in file res.h.

---

Function Documentation

int add_device_exclusion

(

const char *

s

)

add a new inclusion-entry

Return values:

	0	ok
	-L4_EINVAL	invalid format in parameter
	-L4_ENOMEM	out of mem

Definition at line 948 of file res.c.

int add_device_inclusion

(

const char *

s

)

add a new inclusion-entry

Return values:

0

ok, l4env-error-code else

Definition at line 922 of file res.c.

int bios_map_area

(

unsigned long *

ret_vaddr

)

Map the BIOS32 service area.

Parameters:

vaddr

virtual address on successfull mapping (undefined on errors!)

Returns:

0 on success, negative error code otherwise

As L4RM does no implicit pf propagation anymore we need to explicitly map the BIOS32 service area for lib-pci.

Definition at line 979 of file res.c.

void* bios_phys_to_virt

(

unsigned long

paddr

)

BIOS32 service area-specific address translation.

Parameters:

paddr

physical address

Returns:

corresponding virtual address, or NULL on error

Definition at line 1026 of file res.c.