Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_debug.c virtio_debug_device_filter_features() -> virtio_features_andnot()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
BUF_SIZE 0 to 16
BUF_SIZE 1 f1 16
BUF_SIZE 2 f2 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL