| 20 | const KERNELINFO_VIRTADDR: u64 = 0x4fff000; |
| 21 | |
| 22 | pub struct KernelInfo { |
| 23 | // These are set in time::pit_interrupt_notify() |
| 24 | pub pit_ticks: u64, // Number of PIT ticks since restart |
| 25 | pub last_tsc: u64, // TSC value at last pit_ticks update |
| 26 | pub tsc_per_pit: u64, // Change in TSC ticks per PIT tick |
| 27 | } |
| 28 | |
| 29 | /// Initialise a frame to hold the KernelInfo struct |
| 30 | pub fn init( |
nothing calls this directly
no outgoing calls
no test coverage detected