Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 16 files:

Smatch caller information:

mm/kfence/core.c arch_kfence_init_pool() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1431910172255997952
RX_PATH
TASK_NOT_RUNNING

mm/kfence/core.c kfence_protect_page() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0,4096-u64max
PARAM_VALUE 1 level 4561680938857844736
DATA_SOURCE 0 address $0
BIT_INFO 0 address 0x0,0xfffffffffffff000
BIT_INFO 0 address 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &meta->lock
HALF_LOCKED2 flags

arch/x86/mm/pti.c pti_setup_vsyscall() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 18446744073699065856
PARAM_VALUE 1 level 7514416884817539072
LOCK2 irq

arch/x86/xen/p2m.c __set_phys_to_machine() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 4096-18446744073709547520
PARAM_VALUE 1 level 7361147722513940480
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_page
HALF_LOCKED2 flags
HALF_LOCKED2 global &xen_reservation_lock
HALF_LOCKED2 irq

arch/x86/xen/p2m.c alloc_p2m_pmd() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0,2097152-18446744073707454464
PARAM_VALUE 1 level 5710953812295028736
BIT_INFO 0 address 0x0,0xffffffffffe00000
BIT_INFO 0 address 0x0,0xffffffffffe00000
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &p2m_update_lock
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &list_lock

arch/x86/xen/p2m.c alloc_p2m_pmd() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 4096-18446744073709547520
PARAM_VALUE 1 level 5710953812295028736
PARAM_VALUE 1 *level 1-5
DATA_SOURCE 0 address $0
FUZZY_MAX 0 address 18446744073709547520
HARD_MAX 0 address 18446744073709547520
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_page
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &list_lock

arch/x86/xen/p2m.c get_phys_to_machine() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 4096-18446744073709547520
PARAM_VALUE 1 level 3584901416694947840
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 address 4096-18446744073709547520[c]
USER_DATA 0 address 4096-18446744073709547520[c]
UNITS 0 address unit_page
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &queue->rx_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &xenwatch_mutex
HALF_LOCKED2 global &xs_response_mutex
HALF_LOCKED2 global &xs_watch_rwsem
HALF_LOCKED2 irq
HALF_LOCKED2 shost->host_lock

arch/x86/xen/p2m.c xen_alloc_p2m_entry() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 4096-18446744073709547520
PARAM_VALUE 1 level 6726215525410922496
FUZZY_MAX 0 address 18446744073709547520
HARD_MAX 0 address 18446744073709547520
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_page
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &list_lock

arch/x86/xen/p2m.c xen_build_mfn_list_list() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 8399969207850684416
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/xen/xenbus/xenbus_client.c xenbus_unmap_ring_pv() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 679454336818024448
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_byte
HALF_LOCKED2 &pdev->dev_lock
HALF_LOCKED2 global &pvcalls_back_global.frontends_lock
HALF_LOCKED2 global &xenwatch_mutex

arch/x86/mm/mem_encrypt_amd.c early_set_memory_enc_dec() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0-18446744073709551614
PARAM_VALUE 1 level 8546014093910269952
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
DATA_SOURCE 0 address $0 [m]
UNITS 0 address unit_byte
HALF_LOCKED2 irq

arch/x86/mm/mem_encrypt_amd.c enc_dec_hypercall() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0-18446744073709551614
PARAM_VALUE 1 level 419195089618362368
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
DATA_SOURCE 0 address $0 [m]
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 address
UNITS 0 address unit_byte
HALF_LOCKED2 global &mem_enc_lock

arch/x86/xen/enlighten_pv.c set_aliased_prot() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 288669557650796544
DATA_SOURCE 0 address $0

arch/x86/xen/enlighten_pv.c xen_load_gdt() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 7306506332931555328
BIT_INFO 0 address 0x0,0xfffffffffffff000
BIT_INFO 0 address 0x0,0xfffffffffffff000
UNITS 0 address unit_byte

arch/x86/coco/sev/core.c snp_kexec_finish() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1143199855795994624
BUF_SIZE 0 address 4096
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/coco/sev/core.c unshare_all_memory() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0-18446612682070032383
PARAM_VALUE 1 level 97241478347452416
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/coco/sev/core.c unshare_all_memory() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 2845754233352323072,2845754233352327168-5274254619823611903
PARAM_VALUE 1 level 97241478347452416
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/mm/kmmio.c clear_page_presence() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 740224052258844672
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

arch/x86/mm/kmmio.c get_kmmio_fault_page() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 3008436674940051456
DATA_SOURCE 0 address $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &trace_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

arch/x86/mm/kmmio.c kmmio_handler() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 7245877287609774080
DATA_SOURCE 0 address $1
PREEMPT_ADD

arch/x86/mm/kmmio.c kmmio_page_list() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 3373890988656377856
DATA_SOURCE 0 address $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &trace_lock
HALF_LOCKED2 irq

arch/x86/mm/kmmio.c register_kmmio_probe() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0,4096-u64max
PARAM_VALUE 1 level 9166780081854156800
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
BIT_INFO 0 address 0x0,0xfffffffffffff000
BIT_INFO 0 address 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &trace_lock
LOCK2 irq

arch/x86/mm/kmmio.c unregister_kmmio_probe() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0,4096-u64max
PARAM_VALUE 1 level 5353376072048062464
BIT_INFO 0 address 0x0,0xfffffffffffff000
BIT_INFO 0 address 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mmiotrace_mutex
HALF_LOCKED2 global &trace_lock
HALF_LOCKED2 irq

arch/x86/coco/tdx/tdx.c tdx_kexec_finish() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0-18446612682070032383
PARAM_VALUE 1 level 3334290347207172096
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/mm/mmio-mod.c print_pte() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 2100581450549682176
DATA_SOURCE 0 address $0
PREEMPT_ADD

arch/x86/mm/pat/set_memory.c cpa_flush() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 3605275508337434624
DATA_SOURCE 0 address r __cpa_addr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &init_mm.mmap_lock
HALF_LOCKED2 global &mem_enc_lock

arch/x86/mm/pat/set_memory.c kernel_page_present() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 18379471554275704832,18446612682070032384
PARAM_VALUE 1 level 3004624770655092736
RX_PATH
TASK_NOT_RUNNING

arch/x86/mm/pat/set_memory.c pageattr_test() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 18379471554275704832,18379471554275708928-18379489146461745152,18446612682070032384,18446612682070036480-18446630274256072704
PARAM_VALUE 1 level 1180284339326033920
UNITS 0 address unit_byte

arch/x86/mm/pat/set_memory.c pageattr_test() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1180284339326033920
PARAM_VALUE 1 *level 1-4

arch/x86/mm/pat/set_memory.c pageattr_test() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 1-u64max
PARAM_VALUE 1 level 1180284339326033920
PARAM_VALUE 1 *level 1-5

arch/x86/mm/pat/set_memory.c pageattr_test() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1180284339326033920
PARAM_VALUE 1 *level 1-4

arch/x86/mm/pat/set_memory.c print_split() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 18379471554275704832,18446612682070032384
PARAM_VALUE 1 level 6618567714770993152

arch/x86/mm/pat/set_memory.c protect_kernel_text_ro() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 0-5980557482474795007
PARAM_VALUE 1 level 696261175339261952
CAPPED_DATA 0 address 1
CAPPED_DATA 0 address 1
DATA_SOURCE 0 address $0
HARD_MAX 0 address 5980557482474795007
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 address 0-5980557482474795007[c]
UNITS 0 address unit_byte
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &mem_enc_lock
HALF_LOCKED2 global &pgd_lock

arch/x86/mm/pat/set_memory.c slow_virt_to_phys() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 5039570544862769152
DATA_SOURCE 0 address $0
STR_LEN 0 address (-1)-0,2-7,9-13,17-18,21-24
STR_LEN 0 address (-1)-0,2-7,9-13,17-18,21-24
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &efi_runtime_lock
HALF_LOCKED2 global &mem_enc_lock
HALF_LOCKED2 irq

arch/x86/xen/mmu.c arbitrary_virt_to_machine() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 6292260517683957760
DATA_SOURCE 0 address $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/virt/svm/sev.c adjust_direct_map() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 0 address 18379471554275704832,18446612682070032384
PARAM_VALUE 1 level 391133284763664384
DATA_SOURCE 0 address r pfn_to_kaddr
RX_PATH
TASK_NOT_RUNNING

arch/x86/xen/mmu_pv.c make_lowmem_page_readonly() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1990484860240412672
DATA_SOURCE 0 address $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 address unit_byte
HALF_LOCKED2 irq

arch/x86/xen/mmu_pv.c make_lowmem_page_readwrite() -> lookup_address()

Type Parameter Key Value
PARAM_VALUE 1 level 1513509592377929728
DATA_SOURCE 0 address $0
UNITS 0 address unit_byte
HALF_LOCKED2 irq