1 #include <sys/sbd_ioctl.h>
2 static char *sbd_t10001[] = {
3 	"Cannot read property value",
4 	"Invalid board number",
5 	"drmach parameter is not a valid ID",
6 	"drmach parameter is inappropriate for operation",
7 	"Firmware probe failed",
8 	"Firmware deprobe failed",
9 	"Operation not supported",
10 	"Unexpected internal condition",
11 	"Cannot proceed, board is configured or busy",
12 	"Cannot proceed, board is powered",
13 	"Cannot proceed, board is connected",
14 	"Invalid argument",
15 	"Device driver failure",
16 	"Unrecognized platform command",
17 	"Failed to allocate processor id",
18 	"Failed to release processor id",
19 	"Failed to power on board",
20 	"Failed to power off board",
21 	"Cannot setup memory node",
22 	"Cannot walk ACPI namespace",
23 	"Failed to check dependency for board",
24 	"Board is in failure state",
25 };
26 sbd_etab_t sbd_etab[] = {
27 	{ 10001, 10022, sbd_t10001 },
28 };
29 int sbd_etab_len = 1;
30