DUP2HIGH
_DIAGASSERT(hfd <= DUP2HIGH);
for (i = 0, maxdup2 = -1; i <= DUP2HIGH; i++) {
static uint32_t dup2vec[DUP2HIGH+1];
return fd <= DUP2HIGH && fd >= 0 && dup2vec[fd] & DUP2BIT;
for (i = 0; i <= DUP2HIGH; i++) {
if (hostfd > DUP2HIGH) {
if (hostfd > DUP2HIGH) {