VLAPIC_CTR_ISR
VLAPIC_CTR_ISR(vlapic, "vlapic_intr_accepted");
VLAPIC_CTR_ISR(vlapic, "vlapic_process_eoi");