Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/boot/startup/sme.c sme_encrypt_kernel() -> sme_map_range_encrypted()

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
PARAM_VALUE 0 ppd->pgtable_area 4096-ptr_max
PARAM_VALUE 0 ppd->pmd_flags 227
PARAM_VALUE 0 ppd->pte_flags 99
PARAM_VALUE 0 ppd->vaddr_end 0,2097152-u64max
NOCHECK_CALL

arch/x86/boot/startup/sme.c sme_encrypt_kernel() -> sme_map_range_encrypted()

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
PARAM_VALUE 0 ppd->pmd_flags 4331
PARAM_VALUE 0 ppd->pte_flags 235
PARAM_VALUE 0 ppd->vaddr_end 0,4096-u64max
NOCHECK_CALL