__ulseq_to_u64seq
if (__ulseq_to_u64seq(prb, ulseq) == pmsg.seq) {
return __ulseq_to_u64seq(prb, nbcon_seq);
return __ulseq_to_u64seq(rb, ulseq);
old_seq = __ulseq_to_u64seq(rb, oldval);