HomeFreeBSD

Make SMCCC usable by device drivers

Description

Make SMCCC usable by device drivers

To allow device drivers to call into SMCCC we need to initialise it
earlier. As it depends on PSCI, and that is detected via ACPI or FDT
move the call to smccc_init to the PSCI driver.

Add a function for drivers to read the smccc version, or 0 if smccc
is not present.

Details

Provenance
andrewAuthored on Jun 4 2022, 11:13 AM
Parents
rGc57694ce9471: Disable the arm physical timer when an irq exists
Branches
Unknown
Tags
Unknown