vlapic_svr_write_handler
vlapic_svr_write_handler(vlapic);
void vlapic_svr_write_handler(struct vlapic *vlapic);