Open Menu /

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

arch/x86/mm/init.c cr4_set_bits_and_update_boot() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 16,128
DATA_SOURCE 0 mask $0
HARD_MAX 0 mask 128
NOCHECK_CALL
LOCK2 irq

arch/x86/mm/init.c setup_pcid() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 131072
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/process.c disable_TSC() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 4
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mce/core.c mce_cpu_restart() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_syscore_resume() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mce/core.c mcheck_cpu_init() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 64
NOCHECK_CALL

arch/x86/virt/hw.c x86_virt_cpu_vmxon() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 8192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/fred.c cpu_init_fred_exceptions() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 4294967296
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c cpu_init_exception_handling() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 65536
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c enable_lass() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 134217728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c setup_cet() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 8388608
NOCHECK_CALL

arch/x86/kernel/cpu/common.c setup_pku() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 4194304
NOCHECK_CALL

arch/x86/kernel/cpu/common.c setup_smap() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 2097152
NOCHECK_CALL

arch/x86/kernel/cpu/common.c setup_smep() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 1048576
NOCHECK_CALL

arch/x86/kernel/cpu/common.c setup_umip() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 2048
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c fpu__init_cpu_xstate() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 262144
NOCHECK_CALL

arch/x86/platform/efi/efi_64.c efi_enable_lass() -> cr4_set_bits()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &__efi_uv_runtime_lock
HALF_LOCKED2 global &efi_runtime_lock
HALF_LOCKED2 global &efivars_lock

arch/x86/kernel/fpu/init.c fpu__init_cpu_generic() -> cr4_set_bits()

Type Parameter Key Value
PARAM_VALUE 0 mask 1536
NOCHECK_CALL