--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/anatofuz/note/2021/01/25.md	Tue Jan 26 00:10:03 2021 +0900
@@ -0,0 +1,23 @@
+```
+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);
+}
+```