Function finish_pending 

pub fn finish_pending(ctx: &Ctx, tgid: i32, pending: PendingExec)

Completes a pending exec at the trampoline’s exec of the real target: records the program and moves the process into its new view, if any.

Arguments

• ctx - Shared supervisor state.
• tgid - The process.
• pending - What was recorded at the rewritten exec.