Ubuntu
linux package

  1. Bug #2008583
  2. Comment #5

Comment 5 for bug 2008583

Revision history for this message
dfdfdf (lindt) wrote :

you can check it with bpftrace on kernel 5.19.0-41-generic #42~22.04.1-Ubuntu:
sudo bpftrace -e 'kprobe:__nested_vmcb_check_controls { printf("tlb_ctl: %d\n", *((uint8 *)arg1+60) )}'
and it ends like this:
...
tlb_ctl: 1
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 0
tlb_ctl: 3 <<<<<<<<<<