181b205ceSAlexey Kardashevskiy /*
281b205ceSAlexey Kardashevskiy * This library is free software; you can redistribute it and/or
381b205ceSAlexey Kardashevskiy * modify it under the terms of the GNU Lesser General Public
481b205ceSAlexey Kardashevskiy * License as published by the Free Software Foundation; either
581b205ceSAlexey Kardashevskiy * version 2.1 of the License, or (at your option) any later version.
681b205ceSAlexey Kardashevskiy *
781b205ceSAlexey Kardashevskiy * This library is distributed in the hope that it will be useful,
881b205ceSAlexey Kardashevskiy * but WITHOUT ANY WARRANTY; without even the implied warranty of
981b205ceSAlexey Kardashevskiy * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
1081b205ceSAlexey Kardashevskiy * Lesser General Public License for more details.
1181b205ceSAlexey Kardashevskiy *
1281b205ceSAlexey Kardashevskiy * You should have received a copy of the GNU Lesser General Public
1381b205ceSAlexey Kardashevskiy * License along with this library; if not, see <http://www.gnu.org/licenses/>.
1481b205ceSAlexey Kardashevskiy */
1581b205ceSAlexey Kardashevskiy
1681b205ceSAlexey Kardashevskiy #include "qemu/osdep.h"
1781b205ceSAlexey Kardashevskiy #include "qapi/error.h"
1881b205ceSAlexey Kardashevskiy #include "target/ppc/cpu.h"
1981b205ceSAlexey Kardashevskiy #include "migration/vmstate.h"
2081b205ceSAlexey Kardashevskiy #include "trace.h"
2181b205ceSAlexey Kardashevskiy
2281b205ceSAlexey Kardashevskiy #include "hw/ppc/spapr.h"
2381b205ceSAlexey Kardashevskiy
2481b205ceSAlexey Kardashevskiy #define FIELD_BE(reg, field, start, len) \
2581b205ceSAlexey Kardashevskiy FIELD(reg, field, 64 - (start + len), len)
2681b205ceSAlexey Kardashevskiy
2781b205ceSAlexey Kardashevskiy /*
2881b205ceSAlexey Kardashevskiy * Bits 47: "leaveOtherWatchdogsRunningOnTimeout", specified on
2981b205ceSAlexey Kardashevskiy * the "Start watchdog" operation,
3081b205ceSAlexey Kardashevskiy * 0 - stop out-standing watchdogs on timeout,
3181b205ceSAlexey Kardashevskiy * 1 - leave outstanding watchdogs running on timeout
3281b205ceSAlexey Kardashevskiy */
3381b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTF, LEAVE_OTHER, 47, 1)
3481b205ceSAlexey Kardashevskiy
3581b205ceSAlexey Kardashevskiy /* Bits 48-55: "operation" */
3681b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTF, OP, 48, 8)
3781b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_OP_START 0x1
3881b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_OP_STOP 0x2
3981b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_OP_QUERY 0x3
4081b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_OP_QUERY_LPM 0x4
4181b205ceSAlexey Kardashevskiy
4281b205ceSAlexey Kardashevskiy /* Bits 56-63: "timeoutAction" */
4381b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTF, ACTION, 56, 8)
4481b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_ACTION_HARD_POWER_OFF 0x1
4581b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_ACTION_HARD_RESTART 0x2
4681b205ceSAlexey Kardashevskiy #define PSERIES_WDTF_ACTION_DUMP_RESTART 0x3
4781b205ceSAlexey Kardashevskiy
4881b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTF, RESERVED, 0, 47)
4981b205ceSAlexey Kardashevskiy
5081b205ceSAlexey Kardashevskiy /* Special watchdogNumber for the "stop all watchdogs" operation */
5181b205ceSAlexey Kardashevskiy #define PSERIES_WDT_STOP_ALL ((uint64_t)~0)
5281b205ceSAlexey Kardashevskiy
5381b205ceSAlexey Kardashevskiy /*
5481b205ceSAlexey Kardashevskiy * For the "Query watchdog capabilities" operation, a uint64 structure
5581b205ceSAlexey Kardashevskiy * defined as:
5681b205ceSAlexey Kardashevskiy * Bits 0-15: The minimum supported timeout in milliseconds
5781b205ceSAlexey Kardashevskiy * Bits 16-31: The number of watchdogs supported
5881b205ceSAlexey Kardashevskiy * Bits 32-63: Reserved
5981b205ceSAlexey Kardashevskiy */
6081b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTQ, MIN_TIMEOUT, 0, 16)
6181b205ceSAlexey Kardashevskiy FIELD_BE(PSERIES_WDTQ, NUM, 16, 16)
6281b205ceSAlexey Kardashevskiy
6381b205ceSAlexey Kardashevskiy /*
6481b205ceSAlexey Kardashevskiy * For the "Query watchdog LPM requirement" operation:
6581b205ceSAlexey Kardashevskiy * 1 = The given "watchdogNumber" must be stopped prior to suspending
6681b205ceSAlexey Kardashevskiy * 2 = The given "watchdogNumber" does not have to be stopped prior to
6781b205ceSAlexey Kardashevskiy * suspending
6881b205ceSAlexey Kardashevskiy */
6981b205ceSAlexey Kardashevskiy #define PSERIES_WDTQL_STOPPED 1
7081b205ceSAlexey Kardashevskiy #define PSERIES_WDTQL_QUERY_NOT_STOPPED 2
7181b205ceSAlexey Kardashevskiy
7281b205ceSAlexey Kardashevskiy #define WDT_MIN_TIMEOUT 1 /* 1ms */
7381b205ceSAlexey Kardashevskiy
watchdog_stop(unsigned watchdogNumber,SpaprWatchdog * w)7481b205ceSAlexey Kardashevskiy static target_ulong watchdog_stop(unsigned watchdogNumber, SpaprWatchdog *w)
7581b205ceSAlexey Kardashevskiy {
7681b205ceSAlexey Kardashevskiy target_ulong ret = H_NOOP;
7781b205ceSAlexey Kardashevskiy
7881b205ceSAlexey Kardashevskiy if (timer_pending(&w->timer)) {
7981b205ceSAlexey Kardashevskiy timer_del(&w->timer);
8081b205ceSAlexey Kardashevskiy ret = H_SUCCESS;
8181b205ceSAlexey Kardashevskiy }
8281b205ceSAlexey Kardashevskiy trace_spapr_watchdog_stop(watchdogNumber, ret);
8381b205ceSAlexey Kardashevskiy
8481b205ceSAlexey Kardashevskiy return ret;
8581b205ceSAlexey Kardashevskiy }
8681b205ceSAlexey Kardashevskiy
watchdog_stop_all(SpaprMachineState * spapr)8781b205ceSAlexey Kardashevskiy static target_ulong watchdog_stop_all(SpaprMachineState *spapr)
8881b205ceSAlexey Kardashevskiy {
8981b205ceSAlexey Kardashevskiy target_ulong ret = H_NOOP;
9081b205ceSAlexey Kardashevskiy int i;
9181b205ceSAlexey Kardashevskiy
9281b205ceSAlexey Kardashevskiy for (i = 1; i <= ARRAY_SIZE(spapr->wds); ++i) {
9381b205ceSAlexey Kardashevskiy target_ulong r = watchdog_stop(i, &spapr->wds[i - 1]);
9481b205ceSAlexey Kardashevskiy
9581b205ceSAlexey Kardashevskiy if (r != H_NOOP && r != H_SUCCESS) {
9681b205ceSAlexey Kardashevskiy ret = r;
9781b205ceSAlexey Kardashevskiy }
9881b205ceSAlexey Kardashevskiy }
9981b205ceSAlexey Kardashevskiy
10081b205ceSAlexey Kardashevskiy return ret;
10181b205ceSAlexey Kardashevskiy }
10281b205ceSAlexey Kardashevskiy
watchdog_expired(void * pw)10381b205ceSAlexey Kardashevskiy static void watchdog_expired(void *pw)
10481b205ceSAlexey Kardashevskiy {
10581b205ceSAlexey Kardashevskiy SpaprWatchdog *w = pw;
10681b205ceSAlexey Kardashevskiy CPUState *cs;
10781b205ceSAlexey Kardashevskiy SpaprMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
10881b205ceSAlexey Kardashevskiy unsigned num = w - spapr->wds;
10981b205ceSAlexey Kardashevskiy
11081b205ceSAlexey Kardashevskiy g_assert(num < ARRAY_SIZE(spapr->wds));
11181b205ceSAlexey Kardashevskiy trace_spapr_watchdog_expired(num, w->action);
11281b205ceSAlexey Kardashevskiy switch (w->action) {
11381b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_HARD_POWER_OFF:
11481b205ceSAlexey Kardashevskiy qemu_system_vmstop_request(RUN_STATE_SHUTDOWN);
11581b205ceSAlexey Kardashevskiy break;
11681b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_HARD_RESTART:
11781b205ceSAlexey Kardashevskiy qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
11881b205ceSAlexey Kardashevskiy break;
11981b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_DUMP_RESTART:
12081b205ceSAlexey Kardashevskiy CPU_FOREACH(cs) {
12181b205ceSAlexey Kardashevskiy async_run_on_cpu(cs, spapr_do_system_reset_on_cpu, RUN_ON_CPU_NULL);
12281b205ceSAlexey Kardashevskiy }
12381b205ceSAlexey Kardashevskiy break;
12481b205ceSAlexey Kardashevskiy }
12581b205ceSAlexey Kardashevskiy if (!w->leave_others) {
12681b205ceSAlexey Kardashevskiy watchdog_stop_all(spapr);
12781b205ceSAlexey Kardashevskiy }
12881b205ceSAlexey Kardashevskiy }
12981b205ceSAlexey Kardashevskiy
h_watchdog(PowerPCCPU * cpu,SpaprMachineState * spapr,target_ulong opcode,target_ulong * args)13081b205ceSAlexey Kardashevskiy static target_ulong h_watchdog(PowerPCCPU *cpu,
13181b205ceSAlexey Kardashevskiy SpaprMachineState *spapr,
13281b205ceSAlexey Kardashevskiy target_ulong opcode, target_ulong *args)
13381b205ceSAlexey Kardashevskiy {
13481b205ceSAlexey Kardashevskiy target_ulong ret = H_SUCCESS;
13581b205ceSAlexey Kardashevskiy target_ulong flags = args[0];
13681b205ceSAlexey Kardashevskiy target_ulong watchdogNumber = args[1]; /* 1-Based per PAPR */
13781b205ceSAlexey Kardashevskiy target_ulong timeoutInMs = args[2];
13881b205ceSAlexey Kardashevskiy unsigned operation = FIELD_EX64(flags, PSERIES_WDTF, OP);
13981b205ceSAlexey Kardashevskiy unsigned timeoutAction = FIELD_EX64(flags, PSERIES_WDTF, ACTION);
14081b205ceSAlexey Kardashevskiy SpaprWatchdog *w;
14181b205ceSAlexey Kardashevskiy
14281b205ceSAlexey Kardashevskiy if (FIELD_EX64(flags, PSERIES_WDTF, RESERVED)) {
14381b205ceSAlexey Kardashevskiy return H_PARAMETER;
14481b205ceSAlexey Kardashevskiy }
14581b205ceSAlexey Kardashevskiy
14681b205ceSAlexey Kardashevskiy switch (operation) {
14781b205ceSAlexey Kardashevskiy case PSERIES_WDTF_OP_START:
14881b205ceSAlexey Kardashevskiy if (watchdogNumber > ARRAY_SIZE(spapr->wds)) {
14981b205ceSAlexey Kardashevskiy return H_P2;
15081b205ceSAlexey Kardashevskiy }
15181b205ceSAlexey Kardashevskiy if (timeoutInMs <= WDT_MIN_TIMEOUT) {
15281b205ceSAlexey Kardashevskiy return H_P3;
15381b205ceSAlexey Kardashevskiy }
15481b205ceSAlexey Kardashevskiy
15581b205ceSAlexey Kardashevskiy w = &spapr->wds[watchdogNumber - 1];
15681b205ceSAlexey Kardashevskiy switch (timeoutAction) {
15781b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_HARD_POWER_OFF:
15881b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_HARD_RESTART:
15981b205ceSAlexey Kardashevskiy case PSERIES_WDTF_ACTION_DUMP_RESTART:
16081b205ceSAlexey Kardashevskiy w->action = timeoutAction;
16181b205ceSAlexey Kardashevskiy break;
16281b205ceSAlexey Kardashevskiy default:
16381b205ceSAlexey Kardashevskiy return H_PARAMETER;
16481b205ceSAlexey Kardashevskiy }
16581b205ceSAlexey Kardashevskiy w->leave_others = FIELD_EX64(flags, PSERIES_WDTF, LEAVE_OTHER);
16681b205ceSAlexey Kardashevskiy timer_mod(&w->timer,
16781b205ceSAlexey Kardashevskiy qemu_clock_get_ms(QEMU_CLOCK_VIRTUAL) + timeoutInMs);
16881b205ceSAlexey Kardashevskiy trace_spapr_watchdog_start(flags, watchdogNumber, timeoutInMs);
16981b205ceSAlexey Kardashevskiy break;
17081b205ceSAlexey Kardashevskiy case PSERIES_WDTF_OP_STOP:
17181b205ceSAlexey Kardashevskiy if (watchdogNumber == PSERIES_WDT_STOP_ALL) {
17281b205ceSAlexey Kardashevskiy ret = watchdog_stop_all(spapr);
17381b205ceSAlexey Kardashevskiy } else if (watchdogNumber <= ARRAY_SIZE(spapr->wds)) {
17481b205ceSAlexey Kardashevskiy ret = watchdog_stop(watchdogNumber,
17581b205ceSAlexey Kardashevskiy &spapr->wds[watchdogNumber - 1]);
17681b205ceSAlexey Kardashevskiy } else {
17781b205ceSAlexey Kardashevskiy return H_P2;
17881b205ceSAlexey Kardashevskiy }
17981b205ceSAlexey Kardashevskiy break;
18081b205ceSAlexey Kardashevskiy case PSERIES_WDTF_OP_QUERY:
18181b205ceSAlexey Kardashevskiy args[0] = FIELD_DP64(0, PSERIES_WDTQ, MIN_TIMEOUT, WDT_MIN_TIMEOUT);
18281b205ceSAlexey Kardashevskiy args[0] = FIELD_DP64(args[0], PSERIES_WDTQ, NUM,
18381b205ceSAlexey Kardashevskiy ARRAY_SIZE(spapr->wds));
18481b205ceSAlexey Kardashevskiy trace_spapr_watchdog_query(args[0]);
18581b205ceSAlexey Kardashevskiy break;
18681b205ceSAlexey Kardashevskiy case PSERIES_WDTF_OP_QUERY_LPM:
18781b205ceSAlexey Kardashevskiy if (watchdogNumber > ARRAY_SIZE(spapr->wds)) {
18881b205ceSAlexey Kardashevskiy return H_P2;
18981b205ceSAlexey Kardashevskiy }
19081b205ceSAlexey Kardashevskiy args[0] = PSERIES_WDTQL_QUERY_NOT_STOPPED;
19181b205ceSAlexey Kardashevskiy trace_spapr_watchdog_query_lpm(args[0]);
19281b205ceSAlexey Kardashevskiy break;
19381b205ceSAlexey Kardashevskiy default:
19481b205ceSAlexey Kardashevskiy return H_PARAMETER;
19581b205ceSAlexey Kardashevskiy }
19681b205ceSAlexey Kardashevskiy
19781b205ceSAlexey Kardashevskiy return ret;
19881b205ceSAlexey Kardashevskiy }
19981b205ceSAlexey Kardashevskiy
spapr_watchdog_init(SpaprMachineState * spapr)20081b205ceSAlexey Kardashevskiy void spapr_watchdog_init(SpaprMachineState *spapr)
20181b205ceSAlexey Kardashevskiy {
20281b205ceSAlexey Kardashevskiy int i;
20381b205ceSAlexey Kardashevskiy
20481b205ceSAlexey Kardashevskiy for (i = 0; i < ARRAY_SIZE(spapr->wds); ++i) {
20581b205ceSAlexey Kardashevskiy char name[16];
20681b205ceSAlexey Kardashevskiy SpaprWatchdog *w = &spapr->wds[i];
20781b205ceSAlexey Kardashevskiy
20881b205ceSAlexey Kardashevskiy snprintf(name, sizeof(name) - 1, "wdt%d", i + 1);
20981b205ceSAlexey Kardashevskiy object_initialize_child_with_props(OBJECT(spapr), name, w,
21081b205ceSAlexey Kardashevskiy sizeof(SpaprWatchdog),
21181b205ceSAlexey Kardashevskiy TYPE_SPAPR_WDT,
21281b205ceSAlexey Kardashevskiy &error_fatal, NULL);
21381b205ceSAlexey Kardashevskiy qdev_realize(DEVICE(w), NULL, &error_fatal);
21481b205ceSAlexey Kardashevskiy }
21581b205ceSAlexey Kardashevskiy }
21681b205ceSAlexey Kardashevskiy
watchdog_needed(void * opaque)21781b205ceSAlexey Kardashevskiy static bool watchdog_needed(void *opaque)
21881b205ceSAlexey Kardashevskiy {
21981b205ceSAlexey Kardashevskiy SpaprWatchdog *w = opaque;
22081b205ceSAlexey Kardashevskiy
22181b205ceSAlexey Kardashevskiy return timer_pending(&w->timer);
22281b205ceSAlexey Kardashevskiy }
22381b205ceSAlexey Kardashevskiy
22481b205ceSAlexey Kardashevskiy static const VMStateDescription vmstate_wdt = {
22581b205ceSAlexey Kardashevskiy .name = "spapr_watchdog",
22681b205ceSAlexey Kardashevskiy .version_id = 1,
22781b205ceSAlexey Kardashevskiy .minimum_version_id = 1,
22881b205ceSAlexey Kardashevskiy .needed = watchdog_needed,
22945bc669eSRichard Henderson .fields = (const VMStateField[]) {
23081b205ceSAlexey Kardashevskiy VMSTATE_TIMER(timer, SpaprWatchdog),
23181b205ceSAlexey Kardashevskiy VMSTATE_UINT8(action, SpaprWatchdog),
23281b205ceSAlexey Kardashevskiy VMSTATE_UINT8(leave_others, SpaprWatchdog),
23381b205ceSAlexey Kardashevskiy VMSTATE_END_OF_LIST()
23481b205ceSAlexey Kardashevskiy }
23581b205ceSAlexey Kardashevskiy };
23681b205ceSAlexey Kardashevskiy
spapr_wdt_realize(DeviceState * dev,Error ** errp)23781b205ceSAlexey Kardashevskiy static void spapr_wdt_realize(DeviceState *dev, Error **errp)
23881b205ceSAlexey Kardashevskiy {
23981b205ceSAlexey Kardashevskiy SpaprWatchdog *w = SPAPR_WDT(dev);
24081b205ceSAlexey Kardashevskiy Object *o = OBJECT(dev);
24181b205ceSAlexey Kardashevskiy
24281b205ceSAlexey Kardashevskiy timer_init_ms(&w->timer, QEMU_CLOCK_VIRTUAL, watchdog_expired, w);
24381b205ceSAlexey Kardashevskiy
24481b205ceSAlexey Kardashevskiy object_property_add_uint64_ptr(o, "expire",
24581b205ceSAlexey Kardashevskiy (uint64_t *)&w->timer.expire_time,
24681b205ceSAlexey Kardashevskiy OBJ_PROP_FLAG_READ);
24781b205ceSAlexey Kardashevskiy object_property_add_uint8_ptr(o, "action", &w->action, OBJ_PROP_FLAG_READ);
24881b205ceSAlexey Kardashevskiy object_property_add_uint8_ptr(o, "leaveOtherWatchdogsRunningOnTimeout",
24981b205ceSAlexey Kardashevskiy &w->leave_others, OBJ_PROP_FLAG_READ);
25081b205ceSAlexey Kardashevskiy }
25181b205ceSAlexey Kardashevskiy
spapr_wdt_class_init(ObjectClass * oc,const void * data)252*12d1a768SPhilippe Mathieu-Daudé static void spapr_wdt_class_init(ObjectClass *oc, const void *data)
25381b205ceSAlexey Kardashevskiy {
25481b205ceSAlexey Kardashevskiy DeviceClass *dc = DEVICE_CLASS(oc);
25581b205ceSAlexey Kardashevskiy
25681b205ceSAlexey Kardashevskiy dc->realize = spapr_wdt_realize;
25781b205ceSAlexey Kardashevskiy dc->vmsd = &vmstate_wdt;
25881b205ceSAlexey Kardashevskiy dc->user_creatable = false;
25981b205ceSAlexey Kardashevskiy }
26081b205ceSAlexey Kardashevskiy
26181b205ceSAlexey Kardashevskiy static const TypeInfo spapr_wdt_info = {
26281b205ceSAlexey Kardashevskiy .name = TYPE_SPAPR_WDT,
26381b205ceSAlexey Kardashevskiy .parent = TYPE_DEVICE,
26481b205ceSAlexey Kardashevskiy .instance_size = sizeof(SpaprWatchdog),
26581b205ceSAlexey Kardashevskiy .class_init = spapr_wdt_class_init,
26681b205ceSAlexey Kardashevskiy };
26781b205ceSAlexey Kardashevskiy
spapr_watchdog_register_types(void)26881b205ceSAlexey Kardashevskiy static void spapr_watchdog_register_types(void)
26981b205ceSAlexey Kardashevskiy {
27081b205ceSAlexey Kardashevskiy spapr_register_hypercall(H_WATCHDOG, h_watchdog);
27181b205ceSAlexey Kardashevskiy type_register_static(&spapr_wdt_info);
27281b205ceSAlexey Kardashevskiy }
27381b205ceSAlexey Kardashevskiy
27481b205ceSAlexey Kardashevskiy type_init(spapr_watchdog_register_types)
275