ShadowSyscallNum_SHADOW_SYSCALL_NUM_INIT_MEMORY_MANAGER

shadow_rs::cshadow

Constant ShadowSyscallNum_SHADOW_SYSCALL_NUM_INIT_MEMORY_MANAGER 

Source 
pub const ShadowSyscallNum_SHADOW_SYSCALL_NUM_INIT_MEMORY_MANAGER: ShadowSyscallNum = 1004;