/*
 * Copyright 2013-2016 Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_BOOT_PLATFORM_EFI_STAGE2_ARGS_H
#define _KERNEL_BOOT_PLATFORM_EFI_STAGE2_ARGS_H


#ifndef KERNEL_BOOT_STAGE2_ARGS_H
#       error This file is included from <boot/stage2_args.h> only
#endif

struct platform_stage2_args {
};


#endif /* _KERNEL_BOOT_PLATFORM_EFI_STAGE2_ARGS_H */