Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_dbg_crypt() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 1 npages 1
BUF_SIZE 0 pages 8
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_dbg_crypt() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 1 npages 1
BUF_SIZE 0 pages 8
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_launch_secret() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 npages 1-s32max
BUF_SIZE 0 pages 8-s32max
BUF_SIZE 0 pages 8-s32max
DATA_SOURCE 0 pages r sev_pin_memory
NOCHECK_CALL
USER_DATA 1 npages 1-s32max[c]
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_launch_update_data() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 npages 1-s32max
BUF_SIZE 0 pages 8-s32max
BUF_SIZE 0 pages 8-s32max
DATA_SOURCE 0 pages r sev_pin_memory
NOCHECK_CALL
USER_DATA 1 npages 1-s32max[c]
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_mem_enc_register_region() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 npages 1-s32max
BUF_SIZE 0 pages 8-s32max
BUF_SIZE 0 pages 8-s32max
DATA_SOURCE 0 pages r sev_pin_memory
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_receive_update_data() -> sev_clflush_pages()

Type Parameter Key Value
PARAM_VALUE 1 npages 1
BUF_SIZE 0 pages 8
NOCHECK_CALL
LOCK2 _T->lock