Fixup of some headers.
authorAdam Turowski <adam.turowski@inf.ethz.ch>
Fri, 22 Sep 2017 14:17:08 +0000 (16:17 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 26 Sep 2017 10:27:29 +0000 (12:27 +0200)
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

include/arch/k1om/barrelfish_kpi/asm_inlines_arch.h
include/arch/x86/barrelfish_kpi/asm_inlines_arch.h
include/bitmacros.h
include/sys/param.h
kernel/arch/x86_64/syscall.c
kernel/dispatch.c
kernel/include/arch/x86_64/vmx_vmkit.h
kernel/schedule_rbed.c
lib/dmalloc/dmalloc.c

index efde426..0c1ef2c 100644 (file)
@@ -11,6 +11,8 @@
 #ifndef ARCH_K1OM_BARRELFISH_KPI_ASM_INLINES_H
 #define ARCH_K1OM_BARRELFISH_KPI_ASM_INLINES_H 1
 
+#include <machine/param.h>
+
 #ifndef __ASSEMBLER__
 
 #include <target/x86_64/barrelfish_kpi/registers_target.h>
@@ -192,8 +194,6 @@ clflush(void *line)
     __asm volatile("clflush %0" :: "m" (line));
 }
 
-#define CACHE_LINE_SIZE 64 /* bytes */
-
 #ifndef __cplusplus
 /* flush a range of memory from the cache */
 static inline void cache_flush_range(void *base, size_t len)
index 36f6c9d..1c76b48 100644 (file)
@@ -15,6 +15,8 @@
 #ifndef ARCH_X86_BARRELFISH_KPI_X86_H
 #define ARCH_X86_BARRELFISH_KPI_X86_H
 
+#include <machine/param.h>
+
 #ifndef __ASSEMBLER__
 
 /** \brief This code reads the cycle counter */
@@ -74,10 +76,6 @@ static inline void clflush(void *line)
     __asm volatile("clflush %0" :: "m" (line));
 }
 
-#ifndef CACHE_LINE_SIZE
-#define CACHE_LINE_SIZE 64 /* bytes */
-#endif
-
 #ifndef __cplusplus
 /* flush a range of memory from the cache */
 static inline void cache_flush_range(void *base, size_t len)
index 508f85f..5fe74a7 100644 (file)
@@ -13,6 +13,7 @@
 #define __BITMACROS_H
 
 #include <stdint.h>
+#include <sys/param.h>
 
 /* A one-bit mask at bit n of type t */
 #define BIT_T(t, n) ((t)1 << (n))
 /* Return the number of entries in a statically-allocated array */
 #define ARRAY_LENGTH(x) (sizeof(x) / sizeof((x)[0]))
 
-/* Return minimum argument */
-#ifndef MIN
-#define MIN(a, b) ((a) < (b) ? (a) : (b))
-#endif
-
-/* Return maximum argument */
-#ifndef MAX
-#define MAX(a, b) ((a) > (b) ? (a) : (b))
-#endif
 
 /* Compute the floor of log_2 of the given number */
 static inline uint8_t
index d803d58..9d463d8 100644 (file)
@@ -44,7 +44,7 @@
 #define BSD4_3 1
 #define BSD4_4 1
 
-/* 
+/*
  * __FreeBSD_version numbers are documented in the Porter's Handbook.
  * If you bump the version for any reason, you should update the documentation
  * there.
 #endif
 #endif
 
-#ifndef _KERNEL
+// #ifndef _KERNEL
 /* Signals. */
-#include <sys/signal.h>
-#endif
+// #include <sys/signal.h>
+// #endif
 
 /* Machine type dependent parameters. */
 #include <machine/param.h>
  *
  * BKVASIZE -  Nominal buffer space per buffer, in bytes.  BKVASIZE is the
  *             minimum KVM memory reservation the kernel is willing to make.
- *             Filesystems can of course request smaller chunks.  Actual 
+ *             Filesystems can of course request smaller chunks.  Actual
  *             backing memory uses a chunk size of a page (PAGE_SIZE).
  *             The default value here can be overridden on a per-architecture
  *             basis by defining it in <machine/param.h>.  This should
  *
  *             If you make BKVASIZE too small you risk seriously fragmenting
  *             the buffer KVM map which may slow things down a bit.  If you
- *             make it too big the kernel will not be able to optimally use 
- *             the KVM memory reserved for the buffer cache and will wind 
+ *             make it too big the kernel will not be able to optimally use
+ *             the KVM memory reserved for the buffer cache and will wind
  *             up with too-few buffers.
  *
  *             The default is 16384, roughly 2x the block size used by a
index 17d007c..e780a23 100644 (file)
@@ -44,8 +44,6 @@
 #include <dev/amd_vmcb_dev.h>
 #endif
 
-#define MIN(a,b)        ((a) < (b) ? (a) : (b))
-
 extern uint64_t user_stack_save;
 
 /* FIXME: lots of missing argument checks in this function */
index f100539..89c815e 100644 (file)
@@ -42,8 +42,6 @@
 #  include <fpu.h>
 #endif
 
-#define MIN(a,b)        ((a) < (b) ? (a) : (b))
-
 /**
  * \brief The kernel timeslice given in system ticks
  */
index af6dbcd..79fdd87 100644 (file)
@@ -9,7 +9,7 @@
  *
  * This file is distributed under the terms in the attached LICENSE file.
  * If you do not find this file, copies can be found by writing to:
- * ETH Zurich D-INFK, CAB F.78, Universitaetstr. 6, CH-8092 Zurich. 
+ * ETH Zurich D-INFK, CAB F.78, Universitaetstr. 6, CH-8092 Zurich.
  * Attn: Systems Group.
  */
 
 #define MSR_CSTAR          0xc0000083
 #define MSR_SFMASK         0xc0000084
 
-#define PAGE_SIZE 0x1000
 #define CPUID_PA_WIDTH (0x80000008)
 #define VMX_PA_WIDTH_MASK (0xFF)
-#define CPUID_VMX (0x1) 
+#define CPUID_VMX (0x1)
 #define VMX_SUPPORT (1 << 5)
 
 #define TYPE_EXT_INTR (0)
@@ -78,7 +77,7 @@ union vmcs_prelude {
     } p;
 };
 
-// Represents a VMCS structure which is comprised of up to 4-KB, 
+// Represents a VMCS structure which is comprised of up to 4-KB,
 // the data portion of the structure is implemenation-specific.
 struct vmcs {
     union vmcs_prelude prelude;
@@ -104,9 +103,9 @@ static inline bool contributory_exception(int vector)
     return false;
 }
 
-// Returns true if secondary processor-based VM-execution controls 
+// Returns true if secondary processor-based VM-execution controls
 // are used.
-static inline bool sec_ctls_used(uint64_t pp_controls) 
+static inline bool sec_ctls_used(uint64_t pp_controls)
 {
     return !!(pp_controls & PP_CLTS_SEC_CTLS);
 }
@@ -115,13 +114,13 @@ static inline bool sec_ctls_used(uint64_t pp_controls)
 static inline uint64_t canonical_form(uint64_t addr)
 {
     if ((addr >> 47) & 0x1) {
-        return (addr | ~0xffffffffffffUL); 
+        return (addr | ~0xffffffffffffUL);
     } else {
         return (addr & 0xffffffffffffUL);
     }
 }
 
-// Functions for reading segment registers are used in saving the 
+// Functions for reading segment registers are used in saving the
 // host state (via vmwrite instructions) prior to VM-entry
 
 static inline uint16_t rd_es(void)
@@ -209,7 +208,7 @@ static inline uint64_t idtr_addr(uint64_t idtr)
     return canonical_form(idtr >> 16);
 }
 
-// Return true if the segment selector is in the the LDT (the TI flag 
+// Return true if the segment selector is in the the LDT (the TI flag
 // is set), else false, meaning that it's contained in the GDT.
 static inline int seg_in_ldt(uint16_t seg_sel)
 {
@@ -244,7 +243,7 @@ static inline void vmlaunch(void)
 
 static inline void vmresume(void)
 {
-    __asm volatile("vmresume"); 
+    __asm volatile("vmresume");
 }
 
 static inline void enable_vmx(void)
@@ -262,8 +261,8 @@ static inline void disable_vmx(void)
     wrcr4(rdcr4() & ~CR4_VMXE);
 }
 
-static inline uint64_t vmx_fixed_cr0(void) 
-{ 
+static inline uint64_t vmx_fixed_cr0(void)
+{
     uint64_t cr0_fixed0 = ia32_vmx_cr0_fixed0_rd(NULL);
     uint64_t cr0_fixed1 = ia32_vmx_cr0_fixed1_rd(NULL);
 
@@ -272,8 +271,8 @@ static inline uint64_t vmx_fixed_cr0(void)
     return ((rdcr0() | cr0_1s_mask) & ~cr0_0s_mask);
 }
 
-static inline uint64_t vmx_fixed_cr4(void) 
-{ 
+static inline uint64_t vmx_fixed_cr4(void)
+{
     uint64_t cr4_fixed0 = ia32_vmx_cr4_fixed0_rd(NULL);
     uint64_t cr4_fixed1 = ia32_vmx_cr4_fixed1_rd(NULL);
 
index 43eec41..f5de76c 100644 (file)
@@ -71,9 +71,6 @@
  */
 #define BETA            (SPECTRUM / 10)
 
-#define MAX(a, b)       ((a) > (b) ? (a) : (b))
-#define MIN(a, b)       ((a) < (b) ? (a) : (b))
-
 
 // queue_tail has to be global, as its used from assembly
 // this is always kept in sync with kcb_current->queue_tail
index e613843..f872ba2 100644 (file)
@@ -1579,52 +1579,7 @@ unsigned char _BitScanReverse(unsigned long *index, unsigned long mask);
 #endif /* BitScanForward */
 #endif /* defined(_MSC_VER) && _MSC_VER>=1300 */
 
-#ifndef WIN32
-#ifndef malloc_getpagesize
-#  ifdef _SC_PAGESIZE         /* some SVR4 systems omit an underscore */
-#    ifndef _SC_PAGE_SIZE
-#      define _SC_PAGE_SIZE _SC_PAGESIZE
-#    endif
-#  endif
-#  ifdef _SC_PAGE_SIZE
-#    define malloc_getpagesize sysconf(_SC_PAGE_SIZE)
-#  else
-#    if defined(BSD) || defined(DGUX) || defined(HAVE_GETPAGESIZE)
-       extern size_t getpagesize();
-#      define malloc_getpagesize getpagesize()
-#    else
-#      ifdef WIN32 /* use supplied emulation of getpagesize */
-#        define malloc_getpagesize getpagesize()
-#      else
-#        ifndef LACKS_SYS_PARAM_H
-#          include <sys/param.h>
-#        endif
-#        ifdef EXEC_PAGESIZE
-#          define malloc_getpagesize EXEC_PAGESIZE
-#        else
-#          ifdef NBPG
-#            ifndef CLSIZE
-#              define malloc_getpagesize NBPG
-#            else
-#              define malloc_getpagesize (NBPG * CLSIZE)
-#            endif
-#          else
-#            ifdef NBPC
-#              define malloc_getpagesize NBPC
-#            else
-#              ifdef PAGESIZE
-#                define malloc_getpagesize PAGESIZE
-#              else /* just guess */
-#                define malloc_getpagesize ((size_t)4096U)
-#              endif
-#            endif
-#          endif
-#        endif
-#      endif
-#    endif
-#  endif
-#endif
-#endif
+#define malloc_getpagesize PAGE_SIZE
 
 /* ------------------- size_t and alignment properties -------------------- */