Searched refs:guest_phys_addr (Results 1 – 2 of 2) sorted by relevance
180 uint64_t guest_phys_addr; member
420 offsetof(struct acrn_vmcs12, guest_phys_addr), /* 64-bit Read-Only Data Fields */
Completed in 8 milliseconds