Searched refs:reserved_64 (Results 1 – 7 of 7) sorted by relevance
198 for (i = 0; i < ARRAY_SIZE(cpu_regs->vcpu_regs.reserved_64); i++) in acrn_dev_ioctl()199 if (cpu_regs->vcpu_regs.reserved_64[i]) { in acrn_dev_ioctl()
293 __le64 reserved_64[4]; member
223 uint32_t reserved_64; member
92 uint32_t reserved_64; member234 uint32_t reserved_64; member
92 uint32_t reserved_64; // offset: 64 (0x40) member607 uint32_t reserved_64; // offset: 64 (0x40) member739 uint32_t reserved_64; // offset: 64 (0x40) member
92 uint32_t reserved_64; // offset: 64 (0x40) member607 uint32_t reserved_64; member740 uint32_t reserved_64; member
92 uint32_t reserved_64; member