return_UINT32
return_UINT32(ACPI_INTERRUPT_NOT_HANDLED);
return_UINT32(ACPI_INTERRUPT_NOT_HANDLED);
return_UINT32(ACPI_INTERRUPT_HANDLED);
return_UINT32(interrupt_handled);
return_UINT32(interrupt_handled);
return_UINT32(0);
return_UINT32(bit_length);
return_UINT32(1);
return_UINT32(num_digits);
return_UINT32(ACPI_SYS_MODE_ACPI);
return_UINT32(ACPI_SYS_MODE_ACPI);
return_UINT32(ACPI_SYS_MODE_LEGACY);
return_UINT32(ACPI_SYS_MODE_ACPI);
return_UINT32(ACPI_SYS_MODE_LEGACY);
return_UINT32(length);
return_UINT32(ACPI_NS_NORMAL);
return_UINT32(acpi_gbl_ns_properties[type] & ACPI_NS_LOCAL);
return_UINT32(package_length);
return_UINT32(0);
return_UINT32(overlap_count);