Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

arch/x86/mm/init.c init_mem_mapping() -> load_cr3()

Type Parameter Key Value
PARAM_VALUE 0 pgdir 7095400128764272640
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/smp_pv.c stop_self() -> load_cr3()

Type Parameter Key Value
PARAM_VALUE 0 pgdir 7095400128764272640
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/xen/smp_pv.c xen_pv_cpu_disable() -> load_cr3()

Type Parameter Key Value
PARAM_VALUE 0 pgdir 7095400128764272640
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/mm/kasan_init_64.c kasan_init() -> load_cr3()

Type Parameter Key Value
PARAM_VALUE 0 pgdir 3940207550724620288
BUF_SIZE 0 pgdir 4096
NOCHECK_CALL
LOCK2 irq

arch/x86/mm/kasan_init_64.c kasan_init() -> load_cr3()

Type Parameter Key Value
PARAM_VALUE 0 pgdir 7095400128764272640
NOCHECK_CALL
LOCK2 irq