../core/kpatch.h