Andrei Emeltchenko 52387c13b7 arch: x86_64: Correct sys_read64 return type ... It does make sense to use uint64_t as a return type. Signed-off-by: Andrei Emeltchenko <andrei.emeltchenko@intel.com>		2020-12-16 08:51:43 -05:00
..
ia32	power: move z_pm_save_idle_exit prototype to power.h	2020-12-09 15:18:29 -05:00
intel64	arch: x86_64: Correct sys_read64 return type	2020-12-16 08:51:43 -05:00
acpi.h	arch/x86: Expose function do get DRHDs from DMAR ACPI table	2020-12-08 09:29:20 -05:00
arch_inlines.h
arch.h	drivers/interrupt_controller: Add Intel VT-D interrupt remapping driver	2020-12-08 09:29:20 -05:00
intel_vtd.h	drivers/interrupt_controller: Add Intel VT-D interrupt remapping driver	2020-12-08 09:29:20 -05:00
memmap.h
memory.ld	x86_64: add dedicated MEMORY area for locore	2020-09-30 14:14:07 -07:00
mmustructs.h	x86: move page table reservation macros	2020-11-05 09:33:40 -05:00
msr.h
multiboot.h
pagetables.ld
thread_stack.h	x86: don't reserve room for page tables in stack	2020-11-05 09:33:40 -05:00