patch_uint
#define patch_u32 patch_uint
int patch_uint(void *addr, unsigned int val);
NOKPROBE_SYMBOL(patch_uint);
check(!patch_uint(&addr32[1], 0xC0C1C2C3));
patch_uint(vector, save_vector);