For the smt case, can you make #AC enable a property of the process? Then disable it on the core if either smt process requires it be disabled? This would mean that is a 'mixed environment' not all split accesses would actually generate #AC - but enough would to detect broken code that doesn't have #AC explicitly disabled. I'm not sure you'd want a guest to flip #AC enable based on the process it is scheduling, but it might work for the base metal scheduler. David - Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK Registration No: 1397386 (Wales)
