sbi_get_marchid
long sbi_get_marchid(void);
cpu_mfr_info->arch_id = sbi_get_marchid();
ci->marchid = sbi_spec_is_0_1() ? 0 : sbi_get_marchid();
ci->marchid = sbi_spec_is_0_1() ? 0 : sbi_get_marchid();
EXPORT_SYMBOL_GPL(sbi_get_marchid);
vcpu->arch.marchid = sbi_get_marchid();