86 #define	VLAPIC_CTR0(vlapic, format)					\  argument
89 #define	VLAPIC_CTR1(vlapic, format, p1)					\  argument
92 #define	VLAPIC_CTR2(vlapic, format, p1, p2)				\  argument
95 #define	VLAPIC_CTR3(vlapic, format, p1, p2, p3)				\  argument
98 #define	VLAPIC_CTR_IRR(vlapic, msg)					\  argument
112 #define	VLAPIC_CTR_ISR(vlapic, msg)					\  argument
145 struct vlapic {  struct
150 	struct vlapic_ops	ops;  argument
154 	struct callout	callout;	/* vlapic timer */  argument
155 	struct bintime	timer_fire_bt;	/* callout expiry time */
156 	struct bintime	timer_freq_bt;	/* timer frequency */
157 	struct bintime	timer_period_bt; /* timer period */
158 	struct mtx	timer_mtx;
183 void vlapic_init(struct vlapic *vlapic);  argument