Defined in 1 files as a function:

• drivers/xen/xen-acpi-processor.c, line 285 (as a function)

Referenced in 1 files:

• drivers/xen/xen-acpi-processor.c, line 523

Smatch caller information: