s9                 16 kernel/proc.h    uint64 s9;
s9                 70 kernel/proc.h    /* 232 */ uint64 s9;