search for: shareinfo_page

Displaying 1 result from an estimated 1 matches for "shareinfo_page".

Did you mean: shared_info_page
2009 Apr 27
1
VPIO device model for Xen guests
...issues this hypercall to check the state of the device. The state could be “idle” or “busy”. “Idle” means no other guest is currently using the device. “busy” means other guest is using the device. We may use just one char or int value to denote the state. Note: it might be better implement using shareinfo_page of Xen. Then the performance will be better. HYPERVISOR_device_op, grab the device. This should be called after the device driver checked the state of the device, and the state is “idle”. In this case, the guest device driver issues this hypercall to actually grab the device. If the device is “bus...