Rev 1223 | Rev 1256 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1223 | Rev 1227 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | * @param ioaddr Startign I/O space address. |
44 | * @param ioaddr Startign I/O space address. |
45 | * @param size Size of the enabled I/O range. |
45 | * @param size Size of the enabled I/O range. |
46 | * |
46 | * |
47 | * @return 0 on success or an error code from errno.h. |
47 | * @return 0 on success or an error code from errno.h. |
48 | */ |
48 | */ |
49 | int ddi_enable_iospace_arch(task_t *task, __address ioaddr, size_t size) |
49 | int ddi_iospace_enable_arch(task_t *task, __address ioaddr, size_t size) |
50 | { |
50 | { |
51 | count_t bits; |
51 | count_t bits; |
52 | 52 | ||
53 | bits = ioaddr + size; |
53 | bits = ioaddr + size; |
54 | if (bits > IO_PORTS) |
54 | if (bits > IO_PORTS) |