child3
child3();
pthread_t child1, child2, child3, child4;
CHECKr(pthread_create(&child3, NULL, child3fn, NULL));
CHECKr(pthread_join(child3, NULL));
struct efp_child_device_config child3;
v->child3.handle = DEVICE_TYPE_EFP4;
v->child3.device_type = DEVICE_TYPE_DP;
v->child3.dvo_port = DVO_PORT_DPD;
v->child3.aux_channel = DP_AUX_D;
v->child3.dp_compat = true;
v->child3.integrated_encoder = true;