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