Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/boot/startup/sme.c sme_map_range_decrypted() -> __sme_map_range()

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
PARAM_VALUE 1 pmd_flags 227
PARAM_VALUE 2 pte_flags 99
DATA_SOURCE 0 ppd $0
NOCHECK_CALL

arch/x86/boot/startup/sme.c sme_map_range_decrypted_wp() -> __sme_map_range()

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
PARAM_VALUE 1 pmd_flags 4331
PARAM_VALUE 2 pte_flags 235
DATA_SOURCE 0 ppd $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
PARAM_VALUE 0 ppd->vaddr_end 0,4096-u64max
DATA_SOURCE 0 ppd $0
BIT_INFO 1 pmd_flags 0xe3,0xffffffffffffffff
BIT_INFO 2 pte_flags 0x63,0xffffffffffffffff
NOCHECK_CALL