kasan__ufetch_32
int kasan__ufetch_32(const uint32_t *, uint32_t *);
#define _ufetch_32 kasan__ufetch_32