Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/coco/sev/svsm.c svsm_pval_pages() -> svsm_build_ca_from_pfn_range()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-18446744073709551614
PARAM_VALUE 1 pfn_end 512-4503599627371007
PARAM_VALUE 3 pc 4096-ptr_max
PARAM_VALUE 3 pc->entry 4096-ptr_max
BUF_SIZE 3 pc 4088
BUF_SIZE 3 pc 4088
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
CAPPED_DATA 1 pfn_end 1
CAPPED_DATA 1 pfn_end 1
PARAM_COMPARE 0 pfn < $1
PARAM_COMPARE 0 pfn < $1
PARAM_COMPARE 1 pfn_end > $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pfn unit_page
UNITS 1 pfn_end unit_page
HALF_LOCKED2 global &mem_enc_lock