Searched refs:reserved_64 (Results 1 – 6 of 6) sorted by relevance
192 for (i = 0; i < ARRAY_SIZE(cpu_regs->vcpu_regs.reserved_64); i++) in acrn_dev_ioctl()193 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
Completed in 29 milliseconds