ref: 6bb99a19f5e7363b47e2bd851f639beac4b0fa4b
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(); }