| http://www.w3.org/ns/prov#value | - If the interrupt is masked, it will be taken at the first opportunity after it is unmasked and this too will be at the end of the same instruction for all three CPU's. (There is a race associated with this operation but because of the delay associated with the memory operation, it is not critical.)
|
