On 06/04/2017 22:29, Christoffer Dall wrote: > We could encode the lazy/non-lazy thing in a bit in the request number > that gets masked off before clearing/checking the request bit, but > perhaps there are nicer solutions. Actually this is the first "nice" solution that it's been proposed. Thanks, Paolo _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
