r0 = shmat(0x0, &(0x7f0000ffc000/0x1000)=nil, 0x4000)
shmat(0x0, &(0x7f0000ffb000/0x2000)=nil, 0x4000)
remap_file_pages(&(0x7f0000ffc000/0x1000)=nil, 0x1000, 0x0, 0x0, 0x0)
shmat(0x0, &(0x7f0000ffe000/0x2000)=nil, 0x4000)
shmdt(r0)