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