isxdigit          106 bsp/drv/include/ddi.h int	 isxdigit(int c);
isxdigit           47 usr/include/ctype.h int	isxdigit(int c);