Constant capsule_ffi::PKT_TX_IPV4

pub const PKT_TX_IPV4: u64 = 36028797018963968;