ostd/specs/arch/x86_64/
cpu.rs

1use vstd::prelude::*;
2
3verus! {
4
5#[derive(Clone, Default, Copy, Debug)]
6#[repr(C)]
7pub struct CpuExceptionInfo {
8    /// The ID of the exception.
9    pub id: usize,
10    /// The error code associated with the exception.
11    pub error_code: usize,
12    /// The virtual address where a page fault occurred.
13    pub page_fault_addr: usize,
14}
15
16} // verus!

ostd/specs/arch/x86_64/cpu.rs

ostd/specs/arch/x86_64/
cpu.rs