Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1
DATA_SOURCE 0 level $0

arch/x86/coco/sev/vc-handle.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
DATA_SOURCE 0 level $0
PREEMPT_ADD

arch/x86/mm/mem_encrypt_amd.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
DATA_SOURCE 0 level $0
RX_PATH
TASK_NOT_RUNNING

arch/x86/coco/tdx/tdx-shared.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-3
DATA_SOURCE 0 level $0
HARD_MAX 0 level 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/coco/sev/core.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-5
DATA_SOURCE 0 level $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/mm/kmmio.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
DATA_SOURCE 0 level $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &trace_lock
HALF_LOCKED2 irq

arch/x86/coco/tdx/tdx.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-5
DATA_SOURCE 0 level $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

arch/x86/mm/pat/set_memory.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 2-3
DATA_SOURCE 0 level $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pgd_lock
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &mem_enc_lock

arch/x86/virt/svm/sev.c page_level_size() -> page_level_shift()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
DATA_SOURCE 0 level $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags