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