drivers/watchdog/sandbox_wdt.c

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright 2017 Google, Inc
   4  */
   5
   6 #include <common.h>
   7 #include <dm.h>
   8 #include <wdt.h>
   9 #include <asm/state.h>
  10
  11 static int sandbox_wdt_start(struct udevice *dev, u64 timeout, ulong flags)
  12 {
  13         struct sandbox_state *state = state_get_current();
  14
  15         state->wdt.counter = timeout;
  16         state->wdt.running = true;
  17
  18         return 0;
  19 }
  20
  21 static int sandbox_wdt_stop(struct udevice *dev)
  22 {
  23         struct sandbox_state *state = state_get_current();
  24
  25         state->wdt.running = false;
  26
  27         return 0;
  28 }
  29
  30 static int sandbox_wdt_reset(struct udevice *dev)
  31 {
  32         struct sandbox_state *state = state_get_current();
  33
  34         state->wdt.reset_count++;
  35
  36         return 0;
  37 }
  38
  39 static int sandbox_wdt_expire_now(struct udevice *dev, ulong flags)
  40 {
  41         sandbox_wdt_start(dev, 1, flags);
  42         sandbox_reset();
  43
  44         return 0;
  45 }
  46
  47 static const struct wdt_ops sandbox_wdt_ops = {
  48         .start = sandbox_wdt_start,
  49         .reset = sandbox_wdt_reset,
  50         .stop = sandbox_wdt_stop,
  51         .expire_now = sandbox_wdt_expire_now,
  52 };
  53
  54 static const struct udevice_id sandbox_wdt_ids[] = {
  55         { .compatible = "sandbox,wdt" },
  56         {}
  57 };
  58
  59 U_BOOT_DRIVER(wdt_sandbox) = {
  60         .name = "wdt_sandbox",
  61         .id = UCLASS_WDT,
  62         .of_match = sandbox_wdt_ids,
  63         .ops = &sandbox_wdt_ops,
  64 };