1 /* 2 * Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com> 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_ 6 #define _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_ 7 8 9 #ifndef KERNEL_BOOT_KERNEL_ARGS_H 10 # error This file is included from <boot/kernel_args.h> only 11 #endif 12 13 14 typedef struct { 15 int nothing_yet; 16 } arch_kernel_args; 17 18 19 #endif /* _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_ */ 20