__sanitizer_cov_trace_cmp4
void __sanitizer_cov_trace_cmp4(u32 arg1, u32 arg2);
EXPORT_SYMBOL(__sanitizer_cov_trace_cmp4);