ref: bd773dee09460f5d77c96f2fe3d34ec5ee0b54ce
dir: /sys/src/9/lx2k/archlx2k.c/
#include "u.h" #include "mem.h" enum { /* ARM SBSA */ Wdogwcs = 0x00, }; static void wdogoff(void) { u32int *r = (u32int *)(VIRTIO+0x13a0000ULL); /* Doghouse (Disable) */ r[Wdogwcs] = 0; } void archlx2klink(void) { wdogoff(); }