Symbol: mcount_write_psl
sys/arch/amd64/include/profile.h
132
#define MCOUNT_EXIT do { mcount_write_psl(s); } while (0)
sys/arch/i386/include/profile.h
110
#define MCOUNT_EXIT do { mcount_write_psl(s); } while (0)