On Mon, Jun 06, 2022 at 09:41:52AM +0100, Marc Zyngier wrote:
> Mark Brown <broonie@kernel.org> wrote:
> > On Sat, May 28, 2022 at 12:38:14PM +0100, Marc Zyngier wrote:

> > > - FP_STATE_CLEAN
> > > - FP_STATE_HOST_DIRTY
> > > - FP_STATE_GUEST_DIRTY

> > I had to think a bit more than I liked about the _DIRTY in the
> > names of the host and guest flags, but that's really just
> > bikeshedding and not a meaningful issue.

> Another option was:

> - FP_STATE_FREE
> - FP_STATE_HOST_OWNED
> - FP_STATE_GUEST_OWNED

> I don't mind wither way.

I think I do prefer that option, but like I say it's bikeshedding.