/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_set_mem(void *buffer, size_t size, uint8_t value)
/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_set_mem(void *buffer, size_t size, uint8_t value)
{
	EFI_ENTRY("%p, %ld, 0x%x", buffer, (unsigned long)size, value);
	memset(buffer, value, size);
	EFI_EXIT(EFI_SUCCESS);
}