SMB_RV_WIDTH_64B
rv.smbpairv_xlen = SMB_RV_WIDTH_64B;
rv.smbpairv_mxlen = SMB_RV_WIDTH_64B;
if (rv.smbpirv_xlen != SMB_RV_WIDTH_64B) {
if (rv.smbpirv_mxlen != SMB_RV_WIDTH_64B) {
if (strcmp(smbios_riscv_width_desc(SMB_RV_WIDTH_64B), "64-bit") !=
smbios_riscv_width_desc(SMB_RV_WIDTH_64B));
{ smbios_riscv_width_desc, SMB_RV_WIDTH_64B, "64-bit" },