Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- arch/x86/include/asm/special_insns.h, line 181
- arch/x86/include/asm/tlbflush.h
- arch/x86/kernel/cpu/common.c, line 494
- arch/x86/kernel/paravirt.c, line 112
- arch/x86/xen/enlighten_pv.c, line 1075
- drivers/misc/lkdtm/bugs.c
Smatch caller information:
arch/x86/kernel/head64.c __native_tlb_flush_global() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
arch/x86/kernel/head64.c __native_tlb_flush_global() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $0 |
| NOCHECK_CALL |
arch/x86/mm/tlb.c __native_tlb_flush_global() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| LOCK2 | flags |
arch/x86/mm/tlb.c __native_tlb_flush_global() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $0 |
| NOCHECK_CALL | |||
| LOCK2 | flags |
drivers/misc/lkdtm/bugs.c lkdtm_UNSET_SMEP() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | val | 0x0,0xffffffffffefffff |
| BIT_INFO | 0 | val | 0x0,0xffffffffffefffff |
| NOCHECK_CALL |
drivers/misc/lkdtm/bugs.c lkdtm_UNSET_SMEP() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 0,1048576-u64max |
| BIT_INFO | 0 | val | 0x100000,0xffffffffffffffff |
| BIT_INFO | 0 | val | 0x100000,0xffffffffffffffff |
| NOCHECK_CALL |
drivers/misc/lkdtm/bugs.c lkdtm_UNSET_SMEP() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 0,1048576-u64max |
| BIT_INFO | 0 | val | 0x100000,0xffffffffffffffff |
| BIT_INFO | 0 | val | 0x100000,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/xen/enlighten_pv.c xen_write_cr4() -> native_write_cr4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | val | $0 [m] |
| BIT_INFO | 0 | val | 0x0,0xfffffffffffffe6f |
| BIT_INFO | 0 | val | 0x0,0xfffffffffffffe6f |
| NOCHECK_CALL |