DEFAULT_VAL
if (check_property_type(enumeration, DEFAULT_VAL, ACPI_TYPE_STRING))
enumeration_obj[DEFAULT_VAL].string.pointer);
if (check_property_type(integer, DEFAULT_VAL, ACPI_TYPE_INTEGER))
(uintptr_t)integer_obj[DEFAULT_VAL].string.pointer;
if (check_property_type(str, DEFAULT_VAL, ACPI_TYPE_STRING))
str_obj[DEFAULT_VAL].string.pointer);
case DEFAULT_VAL:
__LWMI_TUNABLE_RO_CAP01(default_value, _attrname, DEFAULT_VAL); \