[RFC] Use kernel_map_pages() to avoid illegal page aliasing.

Printable View