Symbol: __scs_account
kernel/scs.c
69
__scs_account(s, 1);
kernel/scs.c
77
__scs_account(s, -1);