Searched refs:xenpvh_gpex_init (Results 1 – 1 of 1) sorted by relevance
131 static inline void xenpvh_gpex_init(XenPVHMachineState *s, in xenpvh_gpex_init() function226 xenpvh_gpex_init(s, xpc, sysmem); in xen_pvh_init()