vlapic_dfr_write_handler
vlapic_dfr_write_handler(vlapic);
void vlapic_dfr_write_handler(struct vlapic *vlapic);