pub fn exit_boot_services()
Expand description

Notify the allocator library that boot services are not safe to call anymore

You must arrange for this function to be called on exit from UEFI boot services