Defined in 1 files as a prototype:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 $ r rip_rel_ptr
DATA_SOURCE 3 $ r rip_rel_ptr
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 2 $ 1-u64max
DATA_SOURCE 3 $ r rip_rel_ptr
NOCHECK_CALL