Defined in 2 files as a function:

Referenced in 18 files:

Smatch caller information:

sound/hda/codecs/side-codecs/tas2781_hda.c tas2781_save_calibration() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btbcm.c btbcm_set_bdaddr_from_efi() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

drivers/staging/media/atomisp/pci/atomisp_gmin_platform.c gmin_get_config_var() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/isci/init.c isci_pci_probe() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 mask 32

drivers/infiniband/hw/hfi1/efivar.c read_efi_var() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16

security/integrity/efi_secureboot.c get_sb_mode() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16

drivers/net/wireless/intel/iwlwifi/fw/uefi.c iwl_uefi_get_variable() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

drivers/bluetooth/btintel.c btintel_uefi_get_dsbr() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

drivers/firmware/efi/efibc.c efibc_init() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 64

drivers/input/keyboard/applespi.c applespi_get_saved_bl_level() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

drivers/input/keyboard/applespi.c applespi_save_bl_level() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 64
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

fs/efivarfs/super.c efivarfs_statfs() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 8192
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->s_umount

sound/hda/codecs/side-codecs/tas2781_hda_i2c.c tas2563_save_calibration() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

security/integrity/platform_certs/load_uefi.c load_uefi_certs() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16

drivers/firmware/efi/reboot.c efi_reboot() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 1024
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/efi/reboot.c efi_shutdown_init() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 1024

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

Type Parameter Key Value
PARAM_VALUE 0 mask 3

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

Type Parameter Key Value
PARAM_VALUE 0 mask 48

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

Type Parameter Key Value
PARAM_VALUE 0 mask 48

drivers/firmware/efi/efi.c generic_ops_register() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 64

sound/soc/codecs/cs-amp-lib.c cs_amp_devm_get_dell_ssidex() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

sound/soc/codecs/cs-amp-lib.c cs_amp_get_efi_variable() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16

sound/soc/codecs/cs-amp-lib.c cs_amp_get_vendor_spkid() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING

sound/soc/codecs/cs-amp-lib.c cs_amp_set_efi_variable() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 64

drivers/net/wireless/broadcom/brcm80211/brcmfmac/firmware.c brcmf_fw_nvram_from_efi() -> efi_rt_services_supported()

Type Parameter Key Value
PARAM_VALUE 0 mask 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock