r0 = getpid()
migrate_pages(r0, 0x3, &(0x7f0000001440)=0x8001, &(0x7f0000001480)=0xffffffffffff88f5)