shadow_rs::cshadow

Constant ShadowSyscallNum_SHADOW_SYSCALL_NUM_HOSTNAME_TO_ADDR_IPV4

Source 
pub const ShadowSyscallNum_SHADOW_SYSCALL_NUM_HOSTNAME_TO_ADDR_IPV4: ShadowSyscallNum = 1003;