Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/machine_kexec_64.c init_pgtable() -> map_mmio_serial()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | level4p | 18379471554275704832,18446612682070032384 |
| DATA_SOURCE | 1 | level4p | r alloc_pgt_page |