pub type VIRTUAL_PROCESSOR_VENDOR = i32;