Home
last modified time | relevance | path

Searched defs:arch_vcpu_info (Results 1 – 3 of 3) sorted by relevance

/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-x86/
Dxen-x86_32.h41 struct arch_vcpu_info { struct
45 typedef struct arch_vcpu_info arch_vcpu_info_t; argument
Dxen-x86_64.h41 struct arch_vcpu_info { struct
45 typedef struct arch_vcpu_info arch_vcpu_info_t; argument
/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-arm/
Dxen.h308 struct arch_vcpu_info { struct