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_decrypted_wp()

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ppd 5094788073488031744
NOCHECK_CALL