struct micvnet_info *vnet_info = (struct micvnet_info *) mic_ctx->bi_vethinfo;
uint64_t delay = (jiffies - mic_ctx->boot_start) / HZ;
bool timer_restart = false;
struct micvnet_info *vnet_info = (struct micvnet_info *) mic_ctx->bi_vethinfo;
uint64_t delay = (jiffies - mic_ctx->boot_start) / HZ;
bool timer_restart = false;