Acpi Wstadef 2&daba3ff&0 ((hot))

For developers or advanced users, dump the DSDT to see what Wstadef actually does: