b46b3d1c1d
Need to use tcpip_api_call() instead of tcpip_callback(), since the former waits for the tcpip task to complete and thus prevents potential data races with subsequent TCP/IP tasks.