kernelv API types

All listed types are defined in the file kernelv.h .