Andrew Turner 3df911720b Increase the size of PHYS_AVAIL_SIZE to allow firmware to provide a large ...

number of physical memory locations we can access. This is the case on
some HiKey boards that may have UEFI reserved memory dispersed through the
physical space.

Sponsored by:	ABT Systems Ltd

2016-02-02 17:59:43 +00:00

..

_align.h

…

_bus.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

_inttypes.h

…

_limits.h

…

_stdint.h

…

_types.h

Correctly set __WCHAR_MIN, there is no __UINT_MIN, it's 0.

2015-07-08 16:18:28 +00:00

acpica_machdep.h

Add basic support for ACPI. It splits out the nexus driver to two new

2015-06-11 15:45:33 +00:00

armreg.h

Implement single stepping on arm64. We need to set the single step bits in

2016-02-02 10:28:56 +00:00

asm.h

Mark functions as such. This means we call them directly rather than have

2015-10-27 22:24:57 +00:00

atomic.h

Rework the atomic code to reduce the repetition. This merges some of the

2015-12-01 12:27:36 +00:00

bus_dma_impl.h

Port x86 busdma to ARM64

2015-05-08 18:47:19 +00:00

bus_dma.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

bus.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

clock.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

counter.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

cpu.h

Decode and print the ID_AA64* registers on boot. These registers hold

2015-12-30 17:36:34 +00:00

cpufunc.h

Clear exclusive monitors when handling data aborts, the monitors are

2015-09-18 16:52:18 +00:00

db_machdep.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

debug_monitor.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

devmap.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

disassem.h

Framework for ARM64 instruction disassembler

2016-01-29 13:06:30 +00:00

dump.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

elf.h

…

endian.h

…

exec.h

…

float.h

Rationalize BSD license on sys/*/include/float.h

2015-08-05 17:05:35 +00:00

floatingpoint.h

add floatingpoint.h for arm64

2015-06-24 14:51:53 +00:00

frame.h

Add more arm64 machine dependent headers. With this we now have the minimum

2015-03-26 21:10:42 +00:00

hypervisor.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

ieeefp.h

Fix the floating-point exception values to line up with the hardware

2015-06-24 12:19:49 +00:00

in_cksum.h

Rationalize BSD license on sys/*/include/in_cksum.h

2015-08-05 19:05:12 +00:00

intr.h

Reduce the numbers of levels of indirection in arm64 pcib drivers by making

2015-12-10 13:19:30 +00:00

iodev.h

Add basic support for ACPI. It splits out the nexus driver to two new

2015-06-11 15:45:33 +00:00

kdb.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

machdep.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

md_var.h

Add support for usermode (vdso-like) gettimeofday(2) and

2015-12-07 12:20:26 +00:00

memdev.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

metadata.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

minidump.h

Add the arm64 minidump header. This was missed from r286953.

2015-08-20 11:26:26 +00:00

ofw_machdep.h

Make using the #address-cells property on the interrupt parent in device

2016-01-02 19:28:35 +00:00

param.h

Increase MAXCPU in ARM64

2015-08-19 11:59:41 +00:00

pcb.h

Implement single stepping on arm64. We need to set the single step bits in

2016-02-02 10:28:56 +00:00

pci_cfgreg.h

Implement stubs for ACPI PCI routines

2015-07-12 17:28:31 +00:00

pcpu.h

Rework CPU identification on ARM64

2015-07-09 11:32:29 +00:00

pmap.h

Increase the size of PHYS_AVAIL_SIZE to allow firmware to provide a large

2016-02-02 17:59:43 +00:00

pmc_mdep.h

Add Performance Monitoring Counters support for AArch64.

2015-05-19 15:25:47 +00:00

proc.h

…

profile.h

…

psl.h

Add support for arm64 to loader.efi and boot1.efi

2015-04-14 13:55:01 +00:00

pte.h

Set memory to be inner-sharable. This isn't needed on device memory as the

2015-07-14 12:37:47 +00:00

ptrace.h

Add more arm64 machine dependent headers. With this we now have the minimum

2015-03-26 21:10:42 +00:00

reg.h

Add more arm64 machine dependent headers. With this we now have the minimum

2015-03-26 21:10:42 +00:00

reloc.h

…

resource.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

runq.h

…

setjmp.h

Increase the size and alignment of the setjmp buffer. This will allow for

2015-12-23 15:22:44 +00:00

sf_buf.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

signal.h

…

smp.h

Add support for SMP. This uses the FDT data to find the CPUs to start on,

2015-07-09 13:23:29 +00:00

stack.h

Split out db_unwind_frame() so it can be used by DTrace.

2015-06-11 12:47:13 +00:00

stdarg.h

…

sysarch.h

Add more arm64 machine dependent headers. With this we now have the minimum

2015-03-26 21:10:42 +00:00

trap.h

Bring in the start of the arm64 kernel.

2015-04-13 14:43:10 +00:00

ucontext.h

Clean up the types used in <machine/ucontext.h> on arm64. As some ports

2015-07-09 12:51:50 +00:00

vdso.h

Add support for usermode (vdso-like) gettimeofday(2) and

2015-12-07 12:20:26 +00:00

vfp.h

Pass the pcb to store the vfp state in to vfp_save_state. This fixes a bug

2015-08-03 11:05:02 +00:00

vm.h

…

vmparam.h

Add support for usermode (vdso-like) gettimeofday(2) and

2015-12-07 12:20:26 +00:00