headers/private/kernel/arch/arm/arch_kernel_args.h

   1 /*
   2 ** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
   3 ** Distributed under the terms of the MIT License.
   4 */
   5 #ifndef KERNEL_ARCH_ARM_KERNEL_ARGS_H
   6 #define KERNEL_ARCH_ARM_KERNEL_ARGS_H
   7
   8 #ifndef KERNEL_BOOT_KERNEL_ARGS_H
   9 #       error This file is included from <boot/kernel_args.h> only
  10 #endif
  11
  12 // kernel args
  13 typedef struct {
  14         int             cpu_type;
  15         int             fpu_type;
  16         int             mmu_type;
  17         int             platform;
  18         int             machine;  // platform specific machine type
  19
  20         // architecture specific
  21         uint32          phys_pgdir;
  22         uint32          vir_pgdir;
  23         uint32          next_pagetable;
  24 } arch_kernel_args;
  25
  26 #endif  /* KERNEL_ARCH_ARM_KERNEL_ARGS_H */