delete_pointer_barrier_checked


Description:

public VoidCookie delete_pointer_barrier_checked (Barrier barrier)