pub const MAX_GUEST_CMDLINE: u32 = 1024;