kdi_range_overlap
if (write && kdi_range_overlap(va, sz, OFW_START_ADDR, OFW_END_ADDR -
if (kdi_range_overlap(va, sz, PIOMAPBASE, PIOMAPSIZE))