stand/kboot/kboot.h

   1 /*-
   2  * Copyright (c) 2022, Netflix, Inc.
   3  *
   4  * SPDX-License-Identifier: BSD-2-Clause
   5  */
   6
   7 #ifndef KBOOT_H
   8 #define KBOOT_H
   9
  10 #define DEVT_HOSTDISK 1234
  11
  12 void do_init(void);
  13 uint64_t kboot_get_phys_load_segment(void);
  14 uint8_t kboot_get_kernel_machine_bits(void);
  15
  16 #endif /* KBOOT_H */