Defined in 1 files as a member:
Defined in 2 files as a function:
- arch/x86/include/asm/paravirt.h, line 123 (as a function)
- arch/x86/include/asm/special_insns.h, line 174 (as a function)
Referenced in 11 files:
- arch/x86/boot/compressed/ident_map_64.c
- arch/x86/include/asm/paravirt.h, line 125
- arch/x86/include/asm/processor.h, line 269
- arch/x86/kernel/head64.c, line 75
- arch/x86/kernel/paravirt.c, line 165
- arch/x86/kernel/process_64.c, line 809
- arch/x86/kernel/tboot.c, line 110
- arch/x86/mm/tlb.c
- arch/x86/power/cpu.c, line 215
- arch/x86/realmode/init.c, line 33
- arch/x86/xen/mmu_pv.c
Smatch caller information:
arch/x86/kernel/head64.c reset_early_page_tables() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 0,16384-u64max |
| NOCHECK_CALL |
arch/x86/mm/tlb.c initialize_tlbstate_and_flush() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/mm/tlb.c load_new_mm_cr3() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tsk->alloc_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
arch/x86/mm/init.c load_cr3() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/kernel/tboot.c switch_to_tboot_pt() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | x | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/xen/smp_pv.c load_cr3() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/kernel/process_64.c enable_lam_func() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags |
arch/x86/mm/kasan_init_64.c load_cr3() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/realmode/init.c load_trampoline_pgtable() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/power/cpu.c __restore_processor_state() -> write_cr3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex |