patch_uint
static inline int patch_uint(void *addr, unsigned int val)
int patch_uint(void *addr, unsigned int val)