| PARAM_VALUE |
0 |
ghcb |
4096-ptr_max |
| PARAM_VALUE |
0 |
ghcb->save.sw_exit_code |
0 |
| PARAM_VALUE |
0 |
*ghcb->save.valid_bitmap |
0-255 |
| PARAM_VALUE |
1 |
ctxt |
3929561995604525056,6747283956112052224 |
| PARAM_VALUE |
1 |
ctxt->fi.cr2 |
0 |
| PARAM_VALUE |
1 |
ctxt->fi.error_code |
0 |
| PARAM_VALUE |
1 |
ctxt->fi.vector |
0 |
| PARAM_VALUE |
1 |
ctxt->insn.immediate.got |
0-1 |
| PARAM_VALUE |
1 |
ctxt->insn.opcode.value |
0 |
| PARAM_VALUE |
1 |
ctxt->insn.vex_prefix.value |
0 |
| PARAM_VALUE |
1 |
ctxt->insn.x86_64 |
0-1 |
| PARAM_VALUE |
1 |
ctxt->insn.xop_prefix.nbytes |
0 |
| PARAM_VALUE |
1 |
ctxt->regs |
4096-ptr_max |
| DATA_SOURCE |
0 |
ghcb |
$1 |
| DATA_SOURCE |
1 |
ctxt |
$0 |
| BIT_INFO |
0 |
ghcb |
0x0,0x7fffffffffffffff |
| BIT_INFO |
0 |
ghcb |
0x0,0x7fffffffffffffff |
| MEM_ZERO |
0 |
ghcb->save.valid_bitmap |
|
| MEM_ZERO |
1 |
ctxt |
|
| PREEMPT_ADD |
|
|
|
