Constant simics_api_sys::OSA_MICRO_CHECKPOINT_INTERFACE

pub const OSA_MICRO_CHECKPOINT_INTERFACE: &[u8; 21] = b"osa_micro_checkpoint\0";