Symbol: kmsan__ucas_64_mp
sys/kern/subr_msan.c
982
int kmsan__ucas_64_mp(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
sys/sys/systm.h
437
int kmsan__ucas_64_mp(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
sys/sys/systm.h
443
#define _ucas_64_mp kmsan__ucas_64_mp