sys/dev/acpi_support/acpi_toshiba.c

433

if (!ACPI_PKG_VALID(res, HCI_WORDS)) {

sys/dev/acpica/acpi.c

4047

if (!ACPI_PKG_VALID(res, 2))

sys/dev/acpica/acpi.c

4089

if (!ACPI_PKG_VALID(res2, 2))

sys/dev/acpica/acpi_cmbat.c

276

if (!ACPI_PKG_VALID(res, 4)) {

sys/dev/acpica/acpi_cmbat.c

412

} else if (ACPI_PKG_VALID(res, 22)) {

sys/dev/acpica/acpi_cpu.c

814

if (!ACPI_PKG_VALID(top, 2) || acpi_PkgInt32(top, 0, &count) != 0) {

sys/dev/acpica/acpi_cpu.c

845

if (!ACPI_PKG_VALID(pkg, 4) ||

sys/dev/acpica/acpi_ec.c

425

if (!ACPI_PKG_VALID(obj, 2))

sys/dev/acpica/acpi_perf.c

192

if (ACPI_PKG_VALID(pkg, 2)) {

sys/dev/acpica/acpi_perf.c

260

if (!ACPI_PKG_VALID(pkg, 1)) {

sys/dev/acpica/acpi_perf.c

277

if (!ACPI_PKG_VALID(res, 6)) {

sys/dev/acpica/acpi_perf.c

324

if (!ACPI_PKG_VALID(pkg, 2)) {

sys/dev/acpica/acpi_powerres.c

422

if (!ACPI_PKG_VALID(reslist_object, 1)) {

sys/dev/acpica/acpi_video.c

1060

if (!ACPI_PKG_VALID(res, 1)) {

sys/dev/acpica/acpi_video.c

1103

if (!ACPI_PKG_VALID(res, 2)) {

sys/dev/fdc/fdc_acpi.c

236

if (!ACPI_PKG_VALID(pkg, 16)) {

sys/dev/xen/cpu/xen_acpi_cpu.c

276

if (!ACPI_PKG_VALID(top, 2) || acpi_PkgInt32(top, 0, &count) != 0) {

sys/dev/xen/cpu/xen_acpi_cpu.c

299

if (!ACPI_PKG_VALID(pkg, 4) ||

sys/dev/xen/cpu/xen_acpi_cpu.c

351

if (!ACPI_PKG_VALID(pkg, 1)) {

sys/dev/xen/cpu/xen_acpi_cpu.c

370

if (!ACPI_PKG_VALID(res, 6)) {

sys/dev/xen/cpu/xen_acpi_cpu.c

400

if (!ACPI_PKG_VALID(pkg, 2)) {

sys/dev/xen/cpu/xen_acpi_cpu.c

429

if (!ACPI_PKG_VALID(pkg, 1)) {

sys/dev/xen/cpu/xen_acpi_cpu.c

435

if (!ACPI_PKG_VALID(res, 5)) {