pfkey_convertfromipsecdoi
if (pfkey_convertfromipsecdoi(
extern int pfkey_convertfromipsecdoi(u_int, u_int, u_int,