ACPI Debugging

[Sean Bruno]

Been trying to get ACPI Debugging working via
http://www.freebsd.org/doc/handbook/acpi-debug.html and am not getting
any output.

We've compiled with options ACPI_DEBUG, set
debug.acpi.enable_debug_objects, debug.acpi.layer=ACPI_ALL_DRIVERS and
debug.acpi.level=ACPI_LV_VERBOSE

I'm not sure anything is happening as there doesn't appear to be
anything further in the system logs.

What obvious bit of sorcery am I missing here?

Sean