Searched refs:host_acrs (Results 1 – 2 of 2) sorted by relevance
420 unsigned int host_acrs[NUM_ACRS]; member
4845 save_access_regs(vcpu->arch.host_acrs); in sync_regs()4908 restore_access_regs(vcpu->arch.host_acrs); in store_regs()