PMAP_MAP_LOW
pmap_ksetrw(PMAP_MAP_LOW + pa);
dg.buf = (struct dcons_buf *)(vm_offset_t)(PMAP_MAP_LOW +
#define WARMBOOT_OFF (PMAP_MAP_LOW + 0x0467)
#define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469)
PMAP_MAP_LOW : 0;
PMAP_MAP_LOW : 0;
smap = (void *)vm86_addpage(&vmc, 1, PMAP_MAP_LOW + ptoa(1));
#define WARMBOOT_OFF (PMAP_MAP_LOW + 0x0467)
#define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469)
_Static_assert(PMAP_MAP_LOW == VADDR(LOWPTDI, 0), "PMAP_MAP_LOW");
if (pa < PMAP_MAP_LOW && pa + size <= PMAP_MAP_LOW) {
va = pa + PMAP_MAP_LOW;
if (va >= PMAP_MAP_LOW && va <= KERNBASE && va + size <= KERNBASE)
return (PMAP_MAP_LOW);
#define BIOS_PADDRTOVADDR(x) ((x) + PMAP_MAP_LOW)
#define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW)