Improvements to Sail C for booting Linux

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 23ff7f52..27b088fe 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -176,6 +176,7 @@ void RECREATE_OF(sail_bits, mach_bits)(sail_bits *,
 				       const bool direction);
 
 mach_bits CONVERT_OF(mach_bits, sail_bits)(const sail_bits);
+void CONVERT_OF(sail_bits, mach_bits)(sail_bits *, const mach_bits, const uint64_t);
 
 void UNDEFINED(sail_bits)(sail_bits *, const sail_int len, const mach_bits bit);
 mach_bits UNDEFINED(mach_bits)(const unit);