diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-18 15:45:06 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-18 15:45:06 +0100 |
| commit | ca28885fa775d60ad15575f58930c138141e682f (patch) | |
| tree | 0f201418571543b344d64811c4550380bf35bb93 /tools/flask/libflask/include | |
| parent | 93a9aafe96ecb28c4271adb1e227a49c343f1574 (diff) | |
| download | xen-ca28885fa775d60ad15575f58930c138141e682f.tar.gz xen-ca28885fa775d60ad15575f58930c138141e682f.tar.bz2 xen-ca28885fa775d60ad15575f58930c138141e682f.zip | |
mini-os: export allocate_ondemand
allocate_ondemand can be used to allocate addresse space. Primarily
used for mapping MFNs, it can also be used e.g. to map grant refs.
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'tools/flask/libflask/include')
0 files changed, 0 insertions, 0 deletions