HomeFreeBSD

arm64/vmm: Fix the build with GCC

Description

arm64/vmm: Fix the build with GCC

  • Fix the spelling of handle_el2_el1_irq64
  • Add .section before .rodata as the GCC build needs it

Sponsored by: Arm Ltd

Details

Provenance
andrewAuthored on May 16 2024, 2:35 PM
Parents
rG62adeb92dfe9: tpm: Add new tpm_bus.c to module Makefile
Branches
Unknown
Tags
Unknown