get_host_sbi_spec_version
unsigned long get_host_sbi_spec_version(void);
if (get_host_sbi_spec_version() < sbi_mk_version(2, 0))