vlapic_callout_handler
vlapic_callout_handler, vlapic, 0);
static void vlapic_callout_handler(void *arg);