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~
