Constant fortanix_vme_abi::SERVER_PORT[][src]

pub const SERVER_PORT: u32 = 10000;