pub const BX_PLATFORM_NX: u32 = 0;