hdkif.h   - public prototypes for HDK ethernet interface driver

