```
BdsDxe: failed to load Boot0001 "UEFI Misc Device" from VenHw(93E34C7E-B50E-11DF-9223-2443DFD72085,00): Not Found

>>Start PXE over IPv4.
```


```c
__code putdown_rforkPhilsImpl(struct Context *context,struct PhilsImpl* phils, enum Code next) {
    struct AtomicT_int* right_fork = phils->Rightfork;
    Gearef(context, AtomicT_int)->atomicT_int = (union Data*) right_fork;
    Gearef(context, AtomicT_int)->newData = -1;
    Gearef(context, AtomicT_int)->next = C_putdown_lforkPhilsImpl;

    goto mcMeta(context, right_fork->set);
}

__code mcMeta(struct Context* context, enum Code next) {
    struct MCWorker* mcworker =  (struct MCWorker*) context->worker->worker;
    context->next = next;
    goto meta(mcworker->context, mcworker->nextStep);
}
```