Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/mm_init.c memmap_init() -> memmap_init_zone_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zone | 4096-ptr_max |
| PARAM_VALUE | 0 | zone->present_pages | 1 |
| PARAM_VALUE | 1 | start_pfn | 0-4503599627370494 |
| PARAM_VALUE | 2 | end_pfn | 1-4503599627370495 |
| PARAM_VALUE | 3 | hole_pfn | 4177882167179567104 |
| NOCHECK_CALL | |||
| UNITS | 1 | start_pfn | unit_page |
| UNITS | 2 | end_pfn | unit_page |
| LOCK2 | irq |