Defined in 2 files as a function:

Referenced in 55 files:

Smatch caller information:

drivers/gpu/drm/sysfb/efidrm.c efidrm_get_mem_flags() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/efi/mokvar-table.c efi_mokvar_table_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

arch/x86/mm/ioremap.c memremap_is_efi_data() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/mm/ioremap.c memremap_should_map_decrypted() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/efi/capsule-loader.c efi_capsule_loader_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

drivers/firmware/efi/esrt.c efi_esrt_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

drivers/firmware/efi/esrt.c efi_esrt_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
LOCK2 irq

drivers/firmware/efi/esrt.c esrt_table_exists() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/hv/vmbus_drv.c vmbus_reserve_fb() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/iscsi_ibft_find.c reserve_ibft_region() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/machine_kexec_64.c map_efi_systab() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

arch/x86/kernel/machine_kexec_64.c map_efi_systab() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/kernel/machine_kexec_64.c map_efi_systab() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

drivers/platform/x86/samsung-laptop.c samsung_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

drivers/misc/lkdtm/bugs.c lkdtm_EFI_RUNTIME_CRASH() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

drivers/misc/lkdtm/bugs.c lkdtm_EFI_RUNTIME_CRASH() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

arch/x86/kernel/cpu/mshyperv.c ms_hyperv_init_platform() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

drivers/acpi/prmt.c acpi_platformrt_space_handler() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 context_mutex

drivers/acpi/prmt.c init_prmt() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

arch/x86/platform/efi/memmap.c efi_memmap_install() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
HALF_LOCKED2 irq

drivers/platform/x86/ibm_rtl.c ibm_rtl_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

drivers/xen/efi.c efi_mem_desc_lookup() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/xen/efi.c efi_mem_desc_lookup() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/xen/efi.c xen_efi_config_table_is_usable() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
LOCK2 irq

drivers/acpi/osl.c acpi_os_get_root_pointer() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 2
HALF_LOCKED2 irq

arch/x86/kernel/kexec-bzimage64.c bzImage64_probe() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

arch/x86/kernel/kexec-bzimage64.c bzImage64_probe() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/kernel/kexec-bzimage64.c setup_efi_state() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

security/integrity/efi_secureboot.c arch_get_secureboot() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

drivers/firmware/efi/runtime-wrappers.c __efi_queue_work() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &efi_runtime_lock
HALF_LOCKED2 global &capsule_mutex

drivers/firmware/efi/runtime-wrappers.c efi_call_rts() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
HALF_LOCKED2 &pool->lock

drivers/firmware/efi/runtime-wrappers.c efi_call_rts() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
PREEMPT_ADD <- disables preempt
HALF_LOCKED2 &pool->lock

drivers/firmware/efi/runtime-wrappers.c virt_efi_query_variable_info_nb() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &efi_runtime_lock
LOCK2 global &efivars_lock
HALF_LOCKED2 &inode->i_rwsem

drivers/firmware/efi/runtime-wrappers.c virt_efi_reset_system() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &efi_runtime_lock

drivers/firmware/efi/runtime-wrappers.c virt_efi_set_variable_nb() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &efi_runtime_lock
HALF_LOCKED2 global &efivars_lock

arch/x86/kernel/cpu/vmware.c vmware_platform_setup() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

drivers/gpu/drm/radeon/radeon_device.c radeon_card_posted() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/kvm.c kvm_init_platform() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/kvm.c setup_efi_kvm_sev_migration() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

arch/x86/kernel/kvm.c setup_efi_kvm_sev_migration() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

arch/x86/platform/efi/efi.c __efi_enter_virtual_mode() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8

arch/x86/platform/efi/efi.c do_add_efi_memmap() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

arch/x86/platform/efi/efi.c do_efi_soft_reserve() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

arch/x86/platform/efi/efi.c efi_attr_is_visible() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
RX_PATH
TASK_NOT_RUNNING

arch/x86/platform/efi/efi.c efi_config_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/platform/efi/efi.c efi_enter_virtual_mode() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6

arch/x86/platform/efi/efi.c efi_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8
LOCK2 irq

arch/x86/platform/efi/efi.c efi_is_mixed() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/platform/efi/efi.c efi_map_next_entry() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/platform/efi/efi.c efi_memblock_x86_reserve_range() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
LOCK2 irq

arch/x86/platform/efi/efi.c efi_memblock_x86_reserve_range() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
LOCK2 irq

arch/x86/platform/efi/efi.c efi_runtime_supported() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/platform/efi/efi.c efi_systab_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/platform/efi/efi.c efi_systab_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/coco/sev/core.c snp_dmi_setup() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 2
LOCK2 irq

arch/x86/kernel/cpu/common.c arch_cpu_finalize_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

drivers/firmware/dmi_scan.c dmi_scan_machine() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 2
LOCK2 irq

drivers/video/fbdev/efifb.c efifb_probe() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
RX_PATH
TASK_NOT_RUNNING

arch/x86/platform/efi/quirks.c efi_is_mixed() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/platform/efi/quirks.c efi_reserve_boot_services() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

arch/x86/platform/efi/quirks.c efi_reuse_config() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/platform/efi/quirks.c efi_runtime_supported() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

arch/x86/platform/efi/quirks.c efi_unmap_boot_services() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8

arch/x86/kernel/apic/x2apic_uv_x.c check_efi_reboot() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

security/integrity/platform_certs/machine_keyring.c add_to_machine_keyring() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

security/integrity/platform_certs/machine_keyring.c imputed_trust_enabled() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

arch/x86/platform/efi/efi_64.c efi_is_mixed() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5

arch/x86/platform/efi/efi_64.c efi_runtime_update_mappings() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 9

drivers/firmware/efi/efi.c __efi_mem_desc_lookup() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/efi/efi.c __efi_soft_reserve_enabled() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 10

drivers/firmware/efi/efi.c efi_config_parse_tables() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
LOCK2 irq

drivers/firmware/efi/efi.c efi_config_parse_tables() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

drivers/firmware/efi/efi.c efi_find_mirror() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
LOCK2 irq

drivers/firmware/efi/efi.c efi_mem_reserve() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
HALF_LOCKED2 irq

drivers/firmware/efi/efi.c efi_mem_type() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/efi/efi.c efi_mem_type() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/efi/efi.c efipostcore_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 3

drivers/firmware/efi/efi.c efisubsys_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

drivers/firmware/efi/efi.c efisubsys_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8

drivers/firmware/efi/efi.c efisubsys_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 11

drivers/firmware/efi/efi.c fw_platform_size_show() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

arch/x86/kernel/setup.c setup_arch() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/setup.c setup_arch() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/setup.c setup_arch() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/setup.c setup_arch() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/setup.c setup_arch() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

drivers/firmware/efi/memattr.c efi_memattr_apply_permissions() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4

drivers/firmware/efi/memattr.c efi_memattr_apply_permissions() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8

drivers/firmware/efi/memattr.c efi_memattr_apply_permissions() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 8

arch/x86/hyperv/hv_init.c hv_pci_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

drivers/firmware/efi/efi-bgrt.c efi_bgrt_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
HALF_LOCKED2 global &acpi_probe_mutex
HALF_LOCKED2 irq

drivers/firmware/efi/efi-bgrt.c efi_bgrt_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 6
HALF_LOCKED2 global &acpi_probe_mutex
HALF_LOCKED2 irq

drivers/firmware/efi/memmap.c efi_memmap_unmap() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4
HALF_LOCKED2 irq

arch/x86/platform/efi/runtime-map.c efi_runtime_map_init() -> efi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 feature 4