Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kernel/cpu/mtrr/cleanup.c x86_get_mtrr_mem_range() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 189015041778294784,345338947817693184 |
| PARAM_VALUE | 1 | az | 256 |
| PARAM_VALUE | 2 | start | 0-4611686018427387903 |
| PARAM_VALUE | 3 | end | 0-9223372036854775806 |
| BUF_SIZE | 0 | range | 4096 |
| BUF_SIZE | 0 | range | 4096 |
| DATA_SOURCE | 0 | range | $0 |
| FUZZY_MAX | 2 | start | 256 |
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/kernel/cpu/mtrr/cleanup.c x86_get_mtrr_mem_range() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 189015041778294784,345338947817693184 |
| PARAM_VALUE | 1 | az | 256 |
| PARAM_VALUE | 2 | start | 1048576 |
| PARAM_VALUE | 3 | end | 1048577-4503599627370495 |
| BUF_SIZE | 0 | range | 4096 |
| BUF_SIZE | 0 | range | 4096 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 2 | start | $2 |
| NOCHECK_CALL | |||
| UNITS | 2 | start | unit_page |
| UNITS | 3 | end | unit_page |
| LOCK2 | irq |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 2 | start | 0,4096-16773120 |
| PARAM_VALUE | 3 | end | 4096,8192-65536 |
| BUF_SIZE | 0 | range | 256 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 3 | end | 1 |
| BIT_INFO | 2 | start | 0x0,0xfff000 |
| BIT_INFO | 2 | start | 0x0,0xfff000 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | start | 0,4096-16773120[c] |
| HOST_DATA | 3 | end | 4096,8192-65536[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 2 | start | 0 |
| PARAM_VALUE | 3 | end | 0,8388608-u32max |
| BUF_SIZE | 0 | range | 256 |
| CAPPED_DATA | 3 | end | 1 |
| CAPPED_DATA | 3 | end | 1 |
| FUZZY_MAX | 3 | end | u32max |
| BIT_INFO | 3 | end | 0x0,0xff800000 |
| BIT_INFO | 3 | end | 0x0,0xffffff800000 |
| HARD_MAX | 3 | end | u32max |
| NOCHECK_CALL | |||
| HOST_DATA | 3 | end | 0,8388608-u32max[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 2 | start | 0,1048576-281474975662080 |
| BUF_SIZE | 0 | range | 256 |
| NOCHECK_CALL |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 2 | start | 0-281474975662079 |
| PARAM_VALUE | 3 | end | 1048576-281474975662080 |
| BUF_SIZE | 0 | range | 256 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 3 | end | 1 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | start | 0,65536-s32max[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 3 | end | 65536,131072-1099511693056 |
| BUF_SIZE | 0 | range | 256 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | start | 0,65536-1099511627520[c] |
| HOST_DATA | 3 | end | 65536,131072-1099511693056[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> subtract_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8726834476731379712 |
| PARAM_VALUE | 1 | az | 16 |
| PARAM_VALUE | 2 | start | 4294967296 |
| PARAM_VALUE | 3 | end | 0,8388608-281474968322048 |
| BUF_SIZE | 0 | range | 256 |
| CAPPED_DATA | 3 | end | 1 |
| CAPPED_DATA | 3 | end | 1 |
| BIT_INFO | 3 | end | 0x0,0xffffff800000 |
| BIT_INFO | 3 | end | 0x0,0xffffff800000 |
| NOCHECK_CALL | |||
| HOST_DATA | 3 | end | 0,8388608-281474968322048[c] |