Searched refs:eoi_exitmap_changed (Results 1 – 4 of 4) sorted by relevance
232 while ( (i = find_first_bit(&v->arch.hvm.vmx.eoi_exitmap_changed, n)) < n ) in vmx_sync_exit_bitmap()234 clear_bit(i, &v->arch.hvm.vmx.eoi_exitmap_changed); in vmx_sync_exit_bitmap()
1587 &v->arch.hvm.vmx.eoi_exitmap_changed); in vmx_set_eoi_exit_bitmap()1594 &v->arch.hvm.vmx.eoi_exitmap_changed); in vmx_clear_eoi_exit_bitmap()
2017 if ( unlikely(v->arch.hvm.vmx.eoi_exitmap_changed) ) in vmx_deliver_posted_intr()
150 unsigned long eoi_exitmap_changed; member
Completed in 17 milliseconds