Symbol: vlapic_update_ppr
sys/amd64/vmm/io/vlapic.c
1237
vlapic_update_ppr(vlapic);
sys/amd64/vmm/io/vlapic.c
563
vlapic_update_ppr(vlapic);
sys/amd64/vmm/io/vlapic.c
591
vlapic_update_ppr(vlapic);
sys/amd64/vmm/io/vlapic.c
917
vlapic_update_ppr(vlapic);