| /* Copyright (c) 2015 Google Inc | |
| * Davide Libenzi <dlibenzi@google.com> | |
| * See LICENSE for details. | |
| */ | |
| #pragma once | |
| int ioalloc(int port, int size, int align, char *tag); | |
| void iofree(int port); | |
| int iounused(int start, int end); | |
| void ioinit(void); | |
| int ioreserve(int unused_int, int size, int align, char *tag); | |
| void archreset(void); |