4.16.3 子内核存储器可见性