WORKINGSET_REFAULT_FILE
WORKINGSET_REFAULT_FILE,
{ "workingset_refault_file", WORKINGSET_REFAULT_FILE },
case WORKINGSET_REFAULT_FILE:
[I(WORKINGSET_REFAULT_FILE)] = "workingset_refault_file",