In db_write_bytes(), cope with memory addresses mapped by the two hardwired 88200 BATC entries, and don't bother trying to flip pte bits in that case.
In db_write_bytes(), cope with memory addresses mapped by the two hardwired
88200 BATC entries, and don't bother trying to flip pte bits in that case.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars