kernel/pc64: Improve EFI framebuffer mapping.
authorImre Vadasz <imre@vdsz.com>
Sun, 20 Mar 2016 20:44:24 +0000 (21:44 +0100)
committerImre Vadász <imre@vdsz.com>
Mon, 21 Mar 2016 00:50:26 +0000 (01:50 +0100)
commit680c68e144bac70e33c2b76d48d523d242ef3216
treea3ec3833e234502204ce6f3c276321be505f12f0
parent2806e6a60c229f114f518953ac8268a4e6e94a63
kernel/pc64: Improve EFI framebuffer mapping.

* Do a proper pmap_mapdev_attr() via SYSINIT after early boot stuff is
  finished.

* Make sure the EFI framebuffer is covered by the direct map, when using
  PHYS_TO_DMAP to access the framebuffer as early as possible.
  If it isn't covered by the direct memory map, the framebuffer will later
  be properly mapped via pmap_mapdev_attr() anyway.
sys/platform/pc64/x86_64/machdep.c