B_S10_FSREGCORRECTION
(void) __systemcall(&rval, SYS_brand + 1024, B_S10_FSREGCORRECTION);
B_S10_FSREGCORRECTION));
case B_S10_FSREGCORRECTION:
