DMAP_MAX_ADDRESS
mdhdr.dmapend = DMAP_MAX_ADDRESS;
state->va < DMAP_MAX_ADDRESS &&
if (state->va + L2C_SIZE < DMAP_MAX_ADDRESS &&
state->va < DMAP_MAX_ADDRESS &&
if (state->va + L3C_SIZE < DMAP_MAX_ADDRESS &&
for (; bs_state.va < DMAP_MAX_ADDRESS &&
while (bs_state.va < DMAP_MAX_ADDRESS &&
if (va >= DMAP_MIN_ADDRESS && va < DMAP_MAX_ADDRESS)
(x) <= DMAP_MAX_ADDRESS))
if (va >= DMAP_BASE_ADDRESS && va <= DMAP_MAX_ADDRESS) {
(va >= DMAP_MIN_ADDRESS && va < DMAP_MAX_ADDRESS ?
if (va >= DMAP_MIN_ADDRESS && va < DMAP_MAX_ADDRESS)
if (va >= DMAP_MIN_ADDRESS && va < DMAP_MAX_ADDRESS) {
if (hw_direct_map && va > DMAP_BASE_ADDRESS && va < DMAP_MAX_ADDRESS) {
if (va >= DMAP_BASE_ADDRESS && va <= DMAP_MAX_ADDRESS)
(addr > DMAP_MAX_ADDRESS && addr < VM_MIN_KERNEL_ADDRESS) ||
mdhdr.dmapend = DMAP_MAX_ADDRESS;
mdhdr.dmapend = DMAP_MAX_ADDRESS;
if (va >= DMAP_MIN_ADDRESS && va < DMAP_MAX_ADDRESS) {
i < pmap_l1_index(DMAP_MAX_ADDRESS); i++)
CTASSERT((DMAP_MAX_ADDRESS & ~L1_OFFSET) == DMAP_MAX_ADDRESS);