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