r0 = getpid()
migrate_pages(r0, 0x9, 0x0, &(0x7f0000000040)=0x4)