CSD_FLAG_SYNCHRONOUS  243 kernel/smp.c   		if (csd->flags & CSD_FLAG_SYNCHRONOUS) {
CSD_FLAG_SYNCHRONOUS  274 kernel/smp.c   		.flags = CSD_FLAG_LOCK | CSD_FLAG_SYNCHRONOUS,
CSD_FLAG_SYNCHRONOUS  470 kernel/smp.c   			csd->flags |= CSD_FLAG_SYNCHRONOUS;