process_mrelease(0xffffffffffffffff, 0x2)