1/*
2 * Copyright (c) 2016, Hewlett Packard Enterprise Development LP.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9#ifndef KERNEL_ARMV8_MULTIBOOT_UTILITIES_H_
10#define KERNEL_ARMV8_MULTIBOOT_UTILITIES_H_
11
12#include <multiboot2.h>
13
14struct multiboot_header_tag *
15multiboot2_find_header(struct multiboot_header_tag *mb, const size_t size,
16                       const multiboot_uint16_t type);
17
18struct multiboot_tag_string *
19multiboot2_find_cmdline(struct multiboot_header_tag *mb, const size_t size);
20
21struct multiboot_tag_module_64 *
22multiboot2_find_module_64(struct multiboot_header_tag *multiboot,
23                          const size_t size, const char* name);
24
25
26#endif /* KERNEL_ARMV8_MULTIBOOT_UTILITIES_H_ */
27