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