Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/coco/sev/core.c sev_es_efi_map_ghcbs_cas() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 3 | numpages | 1 |
| PARAM_VALUE | 4 | page_flags | 9223372036854775810 |
| CAPPED_DATA | 2 | address | 1 |
| CAPPED_DATA | 2 | address | 1 |
| DATA_SOURCE | 0 | pgd | $0 |
| DATA_SOURCE | 2 | address | r __phys_addr |
| PARAM_COMPARE | 2 | address | == $1 |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
arch/x86/coco/sev/core.c sev_es_efi_map_ghcbs_cas() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 2 | address | 1-u64max |
| PARAM_VALUE | 3 | numpages | 1 |
| DATA_SOURCE | 0 | pgd | $0 |
| DATA_SOURCE | 4 | page_flags | r cc_mkenc |
| PARAM_COMPARE | 2 | address | == $1 |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
arch/x86/platform/efi/efi_64.c __map_region() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 4 | page_flags | 0,2-u64max |
| DATA_SOURCE | 2 | address | $1 |
| FUZZY_MAX | 4 | page_flags | 2 |
| BIT_INFO | 4 | page_flags | 0x2,0xffffffffffffffff |
| BIT_INFO | 4 | page_flags | 0x2,0xffffffffffffffff |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
| UNITS | 3 | numpages | unit_page |
arch/x86/platform/efi/efi_64.c efi_setup_page_tables() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 4 | page_flags | 0,2-u64max |
| DATA_SOURCE | 2 | address | $0 |
| DATA_SOURCE | 3 | numpages | $1 |
| PARAM_COMPARE | 2 | address | == $1 |
| BIT_INFO | 4 | page_flags | 0x8000000000000002,0xffffffffffffffff |
| BIT_INFO | 4 | page_flags | 0x8000000000000002,0xffffffffffffffff |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
| UNITS | 3 | numpages | unit_page |
arch/x86/platform/efi/efi_64.c efi_setup_page_tables() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0 |
| PARAM_VALUE | 2 | address | 0 |
| PARAM_VALUE | 3 | numpages | 1 |
| PARAM_VALUE | 4 | page_flags | 0,2-u64max |
| BIT_INFO | 4 | page_flags | 0x8000000000000002,0xffffffffffffffff |
| BIT_INFO | 4 | page_flags | 0x8000000000000002,0xffffffffffffffff |
arch/x86/platform/efi/efi_64.c efi_setup_page_tables() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 3 | numpages | 3335807669 |
| PARAM_VALUE | 4 | page_flags | 0,18446744071562067968-u64max |
| CAPPED_DATA | 2 | address | 1 |
| CAPPED_DATA | 2 | address | 1 |
| DATA_SOURCE | 2 | address | r __phys_addr |
| PARAM_COMPARE | 1 | pfn | == $2 |
| BIT_INFO | 4 | page_flags | 0x8000000000000000,0xffffffffffffffff |
| BIT_INFO | 4 | page_flags | 0x8000000000000000,0xffffffffffffffff |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
| UNITS | 3 | numpages | unit_page |
arch/x86/platform/efi/efi_64.c efi_setup_page_tables() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 3 | numpages | 1 |
| CAPPED_DATA | 2 | address | 1 |
| CAPPED_DATA | 2 | address | 1 |
| DATA_SOURCE | 2 | address | r __phys_addr |
| PARAM_COMPARE | 1 | pfn | == $2 |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
arch/x86/platform/efi/efi_64.c efi_update_mappings() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| DATA_SOURCE | 4 | page_flags | $1 |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
| UNITS | 3 | numpages | unit_page |
arch/x86/platform/efi/efi_64.c efi_update_mappings() -> kernel_map_pages_in_pgd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfn | 0-4503599627370495 |
| DATA_SOURCE | 4 | page_flags | $1 |
| UNITS | 1 | pfn | unit_page |
| UNITS | 2 | address | unit_byte |
| UNITS | 3 | numpages | unit_page |