sbi_mk_version
if (sbi_spec_version >= sbi_mk_version(2, 0) &&
if (sbi_spec_version >= sbi_mk_version(0, 3) &&
if (sbi_spec_version >= sbi_mk_version(2, 0) &&
if (sbi_spec_version >= sbi_mk_version(3, 0) &&
if (sbi_spec_version >= sbi_mk_version(2, 0) &&
if (sbi_spec_version < sbi_mk_version(0, 3) ||
if (sbi_spec_version < sbi_mk_version(1, 0) ||
if (sbi_spec_version >= sbi_mk_version(2, 0) &&
if (sbi_spec_version < sbi_mk_version(1, 0) ||
if (sbi_spec_version < sbi_mk_version(0, 3) ||
if (sbi_spec_version >= sbi_mk_version(2, 0))
if (sbi_spec_version >= sbi_mk_version(3, 0))
if (get_host_sbi_spec_version() < sbi_mk_version(2, 0))