4lDO2 1b3e024f7d Fix profiling code.

2024-03-23 15:52:18 +01:00

..

device

Do not use HPET on i686

2024-03-19 20:44:47 -06:00

interrupt

Always check shootdown reqs when locking addrsp.

2024-03-04 19:03:01 +01:00

cpuid.rs

Unify cpuid between x86 and x86_64 and don't return an Option

2024-02-25 15:07:31 +01:00

debug.rs

Share a whole lot more code between x86 and x86_64

2024-01-25 13:34:04 +00:00

idt.rs

Fix profiling code.

2024-03-23 15:52:18 +01:00

ipi.rs

Use regular non-NMI IPIs for TLB shootdown.

2024-03-04 19:03:00 +01:00

mod.rs

Share idt.rs between x86 and x86_64

2024-02-25 15:49:29 +01:00

pti.rs

Share a whole lot more code between x86 and x86_64

2024-01-25 13:34:04 +00:00

stop.rs

Fix kstop and kreset.

2024-03-16 17:49:31 +01:00

time.rs

Dedup some more code between x86 and x86_64

2024-01-25 13:34:04 +00:00