vlapic_id_write_handler
vlapic_id_write_handler(vlapic);
void vlapic_id_write_handler(struct vlapic *vlapic);