Patent ID: 7873711

Claim:
A method for managing assignment of virtual physical addresses in a virtual machine operating system, said method comprising the steps of: requesting, using a services function provided by said virtual machine operating system, a virtual physical address assignment for a device dedicated to a virtual machine in said virtual machine operating system, wherein said device comprises a tangible device; searching, in a virtual physical address assignment table stored within a memory space of said virtual machine operating system, to determine whether or not an explicit virtual physical address is assigned to said device; if said explicit virtual physical address is determined to be assigned to said device, retrieving said explicit virtual physical address from said virtual physical address assignment table upon verifying that said explicit virtual physical address is not in use by another device; and forwarding, using said services function provided by said virtual machine operating system, said explicit virtual physical address retrieved for assignment to said device, wherein said explicit virtual physical address forwarded is assigned to said tangible device dedicated to said virtual machine in said virtual machine operating system.