>> Fixes a security bug due to mismatched attributes between S1 and >> S2 mapping. >> >> Currently, it is possible for a region to be cacheable in S1, but >> mapped > > "cachable in the userspace VMA" Thanks Jason for catching that! Will update the text.