Adrien Destugues 437df0a3fb x86_64: fix build ...

This code was accidentally removed but is still needed.

2021-01-08 13:38:29 +01:00

..

32

…

64

…

apic.h

…

apm.h

…

arch_acpi.h

…

arch_altcodepatch.h

kernel/x86_64: AVX support

2020-06-03 06:16:48 +00:00

arch_atomic.h

…

arch_cpu.h

x86_64: fix build

2021-01-08 13:38:29 +01:00

arch_cpuasm.h

efi: Refactor CPU code to be arch-specific

2020-07-04 21:04:20 +00:00

arch_debug.h

…

arch_hpet.h

…

arch_int.h

…

arch_kernel_args.h

…

arch_kernel.h

Cleanup: Various comment and whitespace fixes.

2020-08-01 19:23:27 +00:00

arch_smp.h

…

arch_system_info.h

…

arch_thread_types.h

Make space for AVX-512 registers in x86 arch_thread.

2020-07-17 11:17:20 +00:00

arch_thread.h

…

arch_user_debugger.h

arch_user_debugger: Restore the use of size_t for dr7.

2019-07-18 20:36:13 -04:00

arch_vm_translation_map.h

…

arch_vm_types.h

…

arch_vm.h

…

bios.h

…

descriptors.h

…

ioapic.h

…

msi_priv.h

…

msi.h

…

pic.h

…

smp_priv.h

…

timer.h

…

vesa.h

…