vlapic_esr_write_handler
vlapic_esr_write_handler(vlapic);
void vlapic_esr_write_handler(struct vlapic *vlapic);