taglinefilesource code
CHECK_SEG222kernel/signal.cCHECK_SEG(context.ss);
CHECK_SEG223kernel/signal.cCHECK_SEG(context.cs);
CHECK_SEG224kernel/signal.cCHECK_SEG(context.ds);
CHECK_SEG225kernel/signal.cCHECK_SEG(context.es);
CHECK_SEG226kernel/signal.cCHECK_SEG(context.fs);
CHECK_SEG227kernel/signal.cCHECK_SEG(context.gs);