add kernel data structure to IP.h