wdog_bite()

Arguments:

wds

A pointer to a wdog_state structure with the watchdog state.

Description:

This function handles a watchdog device trigger. You typically call this function to make the watchdog take action (i.e., perform the bite) when its timer has expired.

Use the wdog_state ws_action member to control how this trigger should be handled. For example, use WDOG_ACTION_TERMINATE to terminate the guest, or WDOG_ACTION_INTR to send an interrupt to the guest; if the WDOG_FLAG_DUMP is set, a core dump will be generated.