Hi, > Considering that the CPU interface is continuous (I suppose), I have two > ways of rewriting the gfn check, we can do either: > > gfn_eq(gfn, gaddr_to_gfn(d->arch.vgic.cbase)) || > gfn_eq(gfn, gfn_add(gaddr_to_gfn(d->arch.vgic.cbase), 1)) > > or > > gfn_to_gaddr(gfn) >= d->arch.vgic.cbase || > gfn_to_gaddr(gfn) < d->arch.vgic.cbase + d->arch.vgic.csize
Oops, copy paste error, this should be gfn_to_gaddr(gfn) >= d->arch.vgic.cbase && gfn_to_gaddr(gfn) < d->arch.vgic.cbase + d->arch.vgic.csize Kind regards, Henry
