Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/intel/iommu.c tboot_force_iommu() -> tboot_enabled()

Type Parameter Key Value

arch/x86/kernel/tboot.c tboot_extended_sleep() -> tboot_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

arch/x86/kernel/tboot.c tboot_get_dmar_table() -> tboot_enabled()

Type Parameter Key Value
HALF_LOCKED2 global &dmar_global_lock

arch/x86/kernel/tboot.c tboot_late_init() -> tboot_enabled()

Type Parameter Key Value

arch/x86/kernel/tboot.c tboot_shutdown() -> tboot_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/kernel/tboot.c tboot_sleep() -> tboot_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

drivers/iommu/intel/dmar.c dmar_required() -> tboot_enabled()

Type Parameter Key Value
LOCK2 global &dmar_global_lock
LOCK2 irq

arch/x86/kernel/cpu/feat_ctl.c init_ia32_feat_ctl() -> tboot_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq