Searched refs:reserved_64 (Results 1 – 6 of 6) 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()
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; member234 uint32_t reserved_64; member
223 uint32_t reserved_64; member
93 uint32_t reserved_64; // offset: 64 (0x40) member608 uint32_t reserved_64; member741 uint32_t reserved_64; member
92 uint32_t reserved_64; member