mach-regions: ... from 0x1743000 to 0x194b000 (rw-, max rw-; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x194b000 to 0x1dfb000 (r--, max r--; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x1f10000 to 0x1f12000 (---, max rwx; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x1f1f000 to 0x1f2d000 (rw-, max rwx; copy, private, not-reserved) (4 sub-regions)
mach-regions: ... from 0x1f31000 to 0x1f33000 (rw-, max rwx; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x1f36000 to 0x1f3a000 (rw-, max rwx; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x1f3e000 to 0x1f40000 (rw-, max rwx; copy, private, not-reserved) (2 sub-regions)
mach-regions: ... from 0x1f43000 to 0x1f48000 (rw-, max rwx; copy, private, not-reserved) (2 sub-regions)