Defined in 2 files as a function:
- arch/x86/include/asm/sev.h, line 582 (as a function)
- arch/x86/include/asm/sev.h, line 641 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/boot/startup/sev-startup.c pvalidate_4k_page() -> sev_evict_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 0,4096-u64max |
| PARAM_VALUE | 1 | npages | 1 |
| DATA_SOURCE | 0 | va | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | va | unit_byte |
arch/x86/coco/sev/core.c pvalidate_pages() -> sev_evict_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | npages | 1,512 |
| FUZZY_MAX | 1 | npages | 512 |
| BIT_INFO | 1 | npages | 0x0,0x201 |
| HARD_MAX | 1 | npages | 512 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &mem_enc_lock |