VLAPIC_CTR_IRR
VLAPIC_CTR_IRR(vlapic, "vmx_inject_pir");
VLAPIC_CTR_IRR(vlapic, "vlapic_intr_accepted");
VLAPIC_CTR_IRR(vlapic, "vlapic_set_intr_ready");