History log of /barrelfish-master/include/arch/x86_64/barrelfish_kpi/paging_arch.h
Revision Date Author Comments
# e69a432c 23-Oct-2018 Simon Gerber <simon.gerber@inf.ethz.ch>

x86_64: fix clashing #defines for X86_64_PTABLE_ENTRIES

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# ead360bc 21-Oct-2018 Simon Gerber <simon.gerber@inf.ethz.ch>

platform definitions: make PTABLE_ENTRIES an arch-independent alias for #entries in a pagetable (for x86_64 and aarch64).

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# ad287e03 24-Nov-2013 Andreas Dillier <dilliera@ethz.ch>

Added large page capabilities to the x86 architecture.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 48be2114 22-Nov-2012 Simon Gerber <simugerber@student.ethz.ch>

Fixed slot calculation in unmap_capability().


# 9299dcef 08-Jul-2011 Stefan Kästle <stefan.kaestle@inf.ethz.ch>

Initial version of public stable barrelfish repository.