/* * General system calls for the processor-sets. */