FP_STATE_GUEST_OWNED
return *host_data_ptr(fp_owner) == FP_STATE_GUEST_OWNED;
*host_data_ptr(fp_owner) = FP_STATE_GUEST_OWNED;