Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/mm/tlb.c cr4_update_pce_mm() -> cr4_clear_bits_irqsoff()

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

arch/x86/kernel/process.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 4
DATA_SOURCE 0 mask $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags

arch/x86/virt/hw.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 8192
DATA_SOURCE 0 mask $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags

arch/x86/realmode/init.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 131072
DATA_SOURCE 0 mask $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 irq

arch/x86/kernel/cpu/common.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 15,2048
DATA_SOURCE 0 mask $0
HARD_MAX 0 mask 2048
NOCHECK_CALL
LOCK2 flags

arch/x86/kernel/fpu/xstate.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 262144
DATA_SOURCE 0 mask $0
NOCHECK_CALL
LOCK2 flags

arch/x86/platform/efi/efi_64.c cr4_clear_bits() -> cr4_clear_bits_irqsoff()

Type Parameter Key Value
PARAM_VALUE 0 mask 0,134217728
DATA_SOURCE 0 mask $0
BIT_INFO 0 mask 0x0,0x8000000
BIT_INFO 0 mask 0x0,0x8000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 global &__efi_uv_runtime_lock
HALF_LOCKED2 global &efi_runtime_lock
HALF_LOCKED2 global &efivars_lock