Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/i8259.c picdev_elcr_write() -> picdev_write()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 3 val s32min,(-1),1-65536
BUF_SIZE 3 val s32min,(-1),1-65536
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 val $4
NO_OVERFLOW_SIMPLE 1 addr
NO_OVERFLOW_SIMPLE 2 len
USER_PTR 3 val

arch/x86/kvm/i8259.c picdev_master_write() -> picdev_write()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 3 val s32min,(-1),1-65536
BUF_SIZE 3 val s32min,(-1),1-65536
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 val $4
NO_OVERFLOW_SIMPLE 1 addr
NO_OVERFLOW_SIMPLE 2 len
USER_PTR 3 val

arch/x86/kvm/i8259.c picdev_slave_write() -> picdev_write()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 3 val s32min,(-1),1-65536
BUF_SIZE 3 val s32min,(-1),1-65536
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 len $3
DATA_SOURCE 3 val $4
NO_OVERFLOW_SIMPLE 1 addr
NO_OVERFLOW_SIMPLE 2 len
USER_PTR 3 val