Searched refs:reserved_64 (Results 1 – 6 of 6) sorted by relevance
190 for (i = 0; i < ARRAY_SIZE(cpu_regs->vcpu_regs.reserved_64); i++) in acrn_dev_ioctl()191 if (cpu_regs->vcpu_regs.reserved_64[i]) in acrn_dev_ioctl()
294 __le64 reserved_64[4]; member
223 uint32_t reserved_64; member
92 uint32_t reserved_64; member224 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