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