On 03/07/2014 07:11 AM, Peter Maydell wrote: >> > cpu_stb_data doesn't take into account user vs kernel mode accesses. > ...so what does it use for the mmu index? > Oops, read the macro garbage incorrectly. It does make its way back to cpu_mmu_index. r~ _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
