Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/acpi/device_pm.c acpi_bus_init_power() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
BUF_SIZE 0 adev s32min-(-1),1-s32max
BUF_SIZE 0 adev s32min-(-1),1-s32max
BUF_SIZE 0 adev->driver_data (-1),160
CAPPED_DATA 0 adev 1
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 adev unit_byte

drivers/acpi/property.c acpi_fwnode_device_is_available() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/property.c acpi_get_next_present_subnode() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->reg_lock
HALF_LOCKED2 &hdev->driver_input_lock

drivers/acpi/device_sysfs.c create_pnp_modalias() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/acpi/scan.c acpi_dev_ready_for_enumeration() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
CAPPED_DATA 0 adev 1
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/scan.c acpi_scan_device_check() -> acpi_device_is_present()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->status.functional 0
DATA_SOURCE 0 adev $0
LOCK2 global &acpi_scan_lock
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 &pool->lock