xen_sys/lib.rs
1/*
2 * Copyright 2016-2017 Doug Goldstein <cardoe@cardoe.com>
3 *
4 * Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
5 * http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
6 * <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
7 * option. This file may not be copied, modified, or distributed
8 * except according to those terms.
9 */
10
11#![no_std]
12
13#[cfg(target_arch = "x86_64")]
14mod x86_64;
15#[cfg(target_arch = "x86_64")]
16pub use self::x86_64::*;
17
18#[cfg(target_arch = "aarch64")]
19mod aarch64;
20#[cfg(target_arch = "aarch64")]
21pub use self::aarch64::*;
22
23pub mod hypercall;