pub type arch_vcpu_info_t = arch_vcpu_info;
#[repr(C)]pub struct arch_vcpu_info_t { pub cr2: u32, pub pad: u32, }
cr2: u32
pad: u32