rust-kernel
Rustbelt: a hobby x86_64 kernel written in Rust
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 | //! Device registers. Devices are reached at their physical address while
//! the MMU is off; once paging.rs has mapped them into the higher half too,
//! `use_high_half` makes every driver go through that mapping instead (the
//! identity mapping stays, so nothing breaks in between).
use ;
static OFFSET: AtomicU64 = new;
/// From now on reach devices at `phys + offset` (paging::HIGH_BASE).
/// Where the CPU reaches physical address `phys` right now.
|