#ifndef FUSEE_KERNEL_PATCHES_H
#define FUSEE_KERNEL_PATCHES_H

#include "utils.h"

void package2_patch_kernel(void *kernel, size_t kernel_size);

#endif