s4                 11 kernel/proc.h    uint64 s4;
s4                 68 kernel/proc.h    /* 192 */ uint64 s4;