__efi_soft_reserve_enabled
bool __pure __efi_soft_reserve_enabled(void);
&& __efi_soft_reserve_enabled();