s7                 14 kernel/proc.h    uint64 s7;
s7                 71 kernel/proc.h    /* 216 */ uint64 s7;