Searched refs:FP_STATE_GUEST_OWNED (Results 1 – 1 of 1) sorted by relevance
774 FP_STATE_GUEST_OWNED, enumerator1415 return *host_data_ptr(fp_owner) == FP_STATE_GUEST_OWNED; in guest_owns_fp_regs()