INTX_CHARACTER_DEVICE
= INTX_CHARACTER_DEVICE;
else if (magic == INTX_CHARACTER_DEVICE)
if (intx_file->magic == INTX_CHARACTER_DEVICE &&