score Directory Reference

Files
file	aarch64-system-registers.h [code]
	This header file provides the API to read and write the AArch64 system registers.
file	aarch64.h [code]
	ARM AArch64 Assembler Support API.
file	cpu.h [code]
	This header file provides interfaces of the AArch64 CPU port.
file	cpu_irq.h [code]
	AArch64 IRQ definitions.
file	cpuimpl.h [code]
	CPU Port Implementation API.
file	paravirt.h [code]
	This header file provides definitions pertaining to paravirtualization of the AArch64 port.