R_390_PLT32DBL
if (r_type == R_390_PLT32DBL)
case R_390_PLT32DBL: /* 32 bit PC rel. PLT shifted by 1. */
(r_type == R_390_PLT32DBL &&
else if (r_type == R_390_PLT32DBL)
case R_390_PLT32DBL: /* 32 bit PC rel. PLT shifted by 1. */
case R_390_PLT32DBL: