Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/apei/ghes.c ghes_copy_tofrom_phys() -> ghes_unmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 18446744073694863360,18446744073698512896-18446744073698516992 |
| PARAM_VALUE | 1 | fixmap_idx | 645-646,1537 |
| CAPPED_DATA | 1 | fixmap_idx | 1 |
| DATA_SOURCE | 0 | vaddr | r ghes_map |
| DATA_SOURCE | 1 | fixmap_idx | $4 |
| HARD_MAX | 1 | fixmap_idx | 1537 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &ghes_notify_lock_irq |