How to (fast) determine number of chars
that are in serial device /dev/ser1 input buffer ?
Is there any info about num of chars to read
when armed notification fires ?
/returning num of chars to read in pulse value;
tcischars() or dev_ischars() or ioctl() with FIONREAD
are slow (they do devctl() that is: MsgSend());