$OpenBSD: patch-src_fw_paravirt_h,v 1.2 2018/04/26 12:23:32 sthen Exp $

Allow detection of >4GB RAM. Normally seabios only allows this with the
qemu config device which VMM doesn't have.

Index: src/fw/paravirt.h
--- src/fw/paravirt.h.orig
+++ src/fw/paravirt.h
@@ -60,4 +60,5 @@ int qemu_cfg_write_file(void *src, struct romfile_s *f
 int qemu_cfg_write_file_simple(void *src, u16 key, u32 offset, u32 len);
 u16 qemu_get_romfile_key(struct romfile_s *file);
 
+void vmm_check_high_mem(void);
 #endif
