HomeFreeBSD

Remove platform_ipi_send, it's an unneeded as all implementations are

Description

Remove platform_ipi_send, it's an unneeded as all implementations are
identical.

Sponsored by: ABT Systems Ltd

Details

Provenance
andrewAuthored on
Parents
rS296065: - add workspace for committers guide
Branches
Unknown
Tags
Unknown