pc-bios/vof/vof.h

   1 /*
   2  * Virtual Open Firmware
   3  *
   4  * SPDX-License-Identifier: GPL-2.0-or-later
   5  */
   6 #include <stdarg.h>
   7
   8 typedef unsigned char uint8_t;
   9 typedef unsigned short uint16_t;
  10 typedef unsigned long uint32_t;
  11 typedef unsigned long long uint64_t;
  12 #define NULL (0)
  13 typedef unsigned long ihandle;
  14 typedef unsigned long phandle;
  15 typedef int size_t;
  16
  17 /* globals */
  18 extern void _prom_entry(void); /* OF CI entry point (i.e. this firmware) */
  19
  20 void do_boot(unsigned long addr, unsigned long r3, unsigned long r4);
  21
  22 /* libc */
  23 int strlen(const char *s);
  24 int strcmp(const char *s1, const char *s2);
  25 void *memcpy(void *dest, const void *src, size_t n);
  26 int memcmp(const void *ptr1, const void *ptr2, size_t n);
  27 void *memmove(void *dest, const void *src, size_t n);
  28 void *memset(void *dest, int c, size_t size);
  29
  30 /* CI wrappers */
  31 void ci_panic(const char *str);
  32 phandle ci_finddevice(const char *path);
  33 uint32_t ci_getprop(phandle ph, const char *propname, void *prop, int len);
  34
  35 /* booting from -kernel */
  36 void boot_from_memory(uint64_t initrd, uint64_t initrdsize);
  37
  38 /* Entry points for CI and RTAS */
  39 extern uint32_t ci_entry(uint32_t params);
  40 extern unsigned long hv_rtas(unsigned long params);
  41 extern unsigned int hv_rtas_size;