r0 = gettid()
get_robust_list(r0, &(0x7f0000000380)=0x0, &(0x7f00000003c0))