Constant panda_sys::HV_X64_REMOTE_TLB_FLUSH_RECOMMENDED[−][src]

pub const HV_X64_REMOTE_TLB_FLUSH_RECOMMENDED: u32 = 4;