Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_processor.c arch_acpi_set_proc_cap_bits() -> xen_sanitize_proc_cap_bits()

Type Parameter Key Value
PARAM_VALUE 0 cap 7716944587100499972
DATA_SOURCE 0 cap $0
BIT_INFO 0 *cap 0x9a,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/processor_pdc.c arch_acpi_set_proc_cap_bits() -> xen_sanitize_proc_cap_bits()

Type Parameter Key Value
PARAM_VALUE 0 cap 4096-ptr_max
PARAM_VALUE 0 *cap 154,158,922,926,2235,2239,3003,3007,4250,4254,5018,5022,6331,6335,7099,7103
DATA_SOURCE 0 cap $0
BIT_INFO 0 *cap 0x9a,0x1bbf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpu_add_remove_lock