#include "eth_worker.h" #include #include void dhcp_timer_callback(void* context) { DHCP_time_handler(); }