vale_detach
return vale_detach(ctx);
vale_detach(ctx);
vale_detach(ctx);
return vale_detach(ctx);
struct nmreq_vale_detach vale_detach;
memset(&vale_detach, 0, sizeof(vale_detach));
hdr.nr_body = (uintptr_t)&vale_detach;
printf("port_index: %"PRIu32"\n", vale_detach.port_index);