. pci driver now returns devices, even when they have been pci_reserve()d

[minix3.git] / lib / ansi / isxdigit.c

#include        <ctype.h>

int (isxdigit)(int c) {
        return isxdigit(c);
}