SMB_RV_WIDTH_128B
rv.smbpairv_sxlen = SMB_RV_WIDTH_128B;
if (rv.smbpirv_sxlen != SMB_RV_WIDTH_128B) {
if (strcmp(smbios_riscv_width_desc(SMB_RV_WIDTH_128B), "128-bit") !=
smbios_riscv_width_desc(SMB_RV_WIDTH_128B));