[PATCH] coco: guest: arm64: Update ARM CCA guest driver

[dan.j.williams at intel.com]

Jonathan Cameron wrote:
> On Thu, 09 Oct 2025 12:43:49 +0530
> Aneesh Kumar K.V <aneesh.kumar at kernel.org> wrote:
> 
> > "Aneesh Kumar K.V (Arm)" <aneesh.kumar at kernel.org> writes:
> > 
> > > Make preparatory updates to the ARM CCA guest driver:
> > >
> > >  - Switch from using a platform device to a faux device (based on
> > >    feedback in [1])
> > >  - Rename the device from `arm-cca-dev` to `arm-rsi-dev`, so that the
> > >    host driver can register an equivalent `arm-rmi-dev`
> > >
> > > These changes are purely structural and introduce no new functionality.
> > > Subsequent patches will extend this driver to add guest device
> > > assignment support.
> > >
> > > [1] https://lore.kernel.org/all/2025073035-bulginess-rematch-b92e@gregkh
> > >  
> > 
> > I noticed that, this will break autoloading of the driver. 
> 
> Ah indeed.  You'd need to arrange for the arch code to call the init()
> directly (possibly arch_initcall() as before or maybe directly from
> arm64_rsi_init), which makes it tricky to do in a module as there
> is nothing to kick off module autoloading. You could kick that off
> explicitly but that's a bit ugly.

Does ARM64 not have the equivalent of MODULE_DEVICE_TABLE(x86cpu, ...)?