Defined in 1 files as a prototype:
Defined in 1 files as a macro:
Defined in 2 files as a function:
- arch/x86/kernel/cpu/sgx/main.c, line 660 (as a function)
- include/linux/mm.h, line 5290 (as a function)
Referenced in 6 files:
- arch/x86/kernel/cpu/sgx/main.c, line 664
- arch/x86/mm/pat/set_memory.c, line 2315
- drivers/acpi/apei/einj-core.c, line 713
- drivers/edac/skx_common.c, line 1051
- include/linux/mm.h, line 5289
- mm/memory-failure.c, line 2409
Smatch caller information:
drivers/edac/skx_common.c skx_mce_check_error() -> arch_is_platform_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | paddr | 0-4503599627370495 |
| CAPPED_DATA | 0 | paddr | 1 |
| CAPPED_DATA | 0 | paddr | 1 |
| UNITS | 0 | paddr | unit_byte |
| HALF_LOCKED2 | &attr->mutex |
mm/memory-failure.c memory_failure() -> arch_is_platform_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | paddr | 0,4096-18446744073709547520 |
| BIT_INFO | 0 | paddr | 0x0,0xfffffffffffff000 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | paddr | 0,4096-18446744073709547520[c] |
| LOCK2 | global &mf_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &of->mutex |
drivers/acpi/apei/einj-core.c is_allowed_range() -> arch_is_platform_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | paddr | 1 |
| CAPPED_DATA | 0 | paddr | 1 |
| DATA_SOURCE | 0 | paddr | $0 |
| LOCK2 | &attr->mutex | ||
| TYPE_LOCK | (struct simple_attr)->mutex |
arch/x86/mm/pat/set_memory.c set_mce_nospec() -> arch_is_platform_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | paddr | 0,4096-18446744073709547520 |
| CAPPED_DATA | 0 | paddr | 1 |
| BIT_INFO | 0 | paddr | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | paddr | unit_byte |