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