On 13 January 2015 at 13:35, Christoffer Dall <christoffer.dall@xxxxxxxxxx> wrote: > Wouldn't a guest (and I believe Linux does this) reserve ASID 0 for > additional cores and use ASID 1+++ for itself? If the guest reserves an ASID for "MMU disabled" then yes, that would work. The question of course is whether all guests do that... -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
