Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/include/asm/paravirt.h, line 57
- arch/x86/kernel/kvm.c, line 971
- arch/x86/kernel/paravirt.c, line 159
- arch/x86/mm/mem_encrypt_amd.c, line 279
Smatch caller information:
arch/x86/mm/mem_encrypt_amd.c enc_dec_hypercall() -> notify_page_enc_status_changed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 1-1099511627775 |
| PARAM_VALUE | 1 | npages | (-524288)-524287 |
| DATA_SOURCE | 0 | pfn | r pg_level_to_pfn |
| DATA_SOURCE | 2 | enc | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | npages | unit_page |
| HALF_LOCKED2 | global &mem_enc_lock |