Re: Question about RCU subsystem in Fiasco kernel.