1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
#![feature(core_intrinsics, allocator_api, nonnull_slice_from_raw_parts)]
#![cfg_attr(unix, feature(libc))]
#![no_std]
#[cfg_attr(unix, macro_use)]
#[cfg(unix)]
extern crate std;
extern crate alloc;
#[cfg_attr(unix, macro_use(matches, assert_matches))]
#[cfg(unix)]
extern crate matches;
#[cfg(target_os = "barrelfish")]
extern crate libbarrelfish;
pub mod devq;
pub mod iomem;
pub mod pci;
#[cfg(unix)]
pub mod timedops;
pub mod net;
#[cfg(target_os = "barrelfish")]
mod barrelfish;
#[cfg(target_os = "linux")]
mod linux;
#[cfg(target_os = "barrelfish")]
pub use barrelfish::*;
#[cfg(target_os = "linux")]
pub use linux::*;
#[cfg(target_arch = "x86_64")]
#[path = "arch/x86/mod.rs"]
mod arch;
#[cfg(target_arch = "aarch64")]
#[path = "arch/aarch64/mod.rs"]
mod arch;
pub use arch::*;
#[derive(Debug, Eq, PartialEq, Clone, Copy)]
pub enum DriverState {
Uninitialized,
Initialized,
Attached(usize),
Detached,
Destroyed,
}
pub trait DriverControl: Sized {
fn init(&mut self) {
assert!(self.state() == DriverState::Uninitialized);
self.set_state(DriverState::Initialized);
}
fn attach(&mut self) {
#[cfg(unix)]
assert!(
self.state() == DriverState::Initialized
|| self.state() == DriverState::Detached
|| matches!(self.state(), DriverState::Attached(_))
);
self.set_state(DriverState::Attached(0));
}
fn detach(&mut self) {
#[cfg(unix)]
assert!(matches!(self.state(), DriverState::Attached(_)));
self.set_state(DriverState::Detached);
}
fn set_sleep_level(&mut self, level: usize) {
#[cfg(unix)]
assert_matches!(self.state(), DriverState::Attached(_));
self.set_state(DriverState::Attached(level));
}
fn destroy(mut self) {
#[cfg(unix)]
assert!(matches!(self.state(), DriverState::Attached(_)));
self.set_state(DriverState::Destroyed);
}
fn state(&self) -> DriverState;
fn set_state(&mut self, ds: DriverState);
}