Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/process.c native_tss_update_io_bitmap() -> tss_copy_io_bitmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tss | 4096-ptr_max |
| PARAM_VALUE | 1 | iobm | 4096-ptr_max |
| PARAM_COMPARE | 1 | iobm->sequence | != $0->io_bitmap.prev_sequence |
| NOCHECK_CALL |