Class KernelInfo

euralios_std/src/time.rs:20–24

This structure is mapped read-only into user address space

/// This structure is mapped read-only into user address space
pub struct KernelInfo {
    pub pit_ticks: u64, // Number of PIT ticks since restart
    pub last_tsc: u64, // TSC value at last pit_ticks update
    pub tsc_per_pit: u64, // Change in TSC ticks per PIT tick
}

/// The virtual address of the KernelInfo struct
const KERNELINFO_VIRTADDR: u64 = 0x4fff000;