Searched refs:write_cached_registers (Results 1 – 1 of 1) sorted by relevance
658 static void write_cached_registers(struct acrn_vcpu *vcpu) in write_cached_registers() function703 write_cached_registers(vcpu); in run_vcpu()
Completed in 4 milliseconds