Searched defs:vki_xen_platform_parameters (Results 1 – 1 of 1) sorted by relevance
28 struct vki_xen_platform_parameters { struct29 unsigned long virt_start;