/* Walk the EFI memory map and call CALLBACK once for each EFI memory descriptor that has memory that is available for uncached allocator.  */
void efi_memmap_walk_uc(efi_freemem_callback_t callback, void *arg)
/* Walk the EFI memory map and call CALLBACK once for each EFI memory descriptor that has memory that is available for uncached allocator.  */
void efi_memmap_walk_uc(efi_freemem_callback_t callback, void *arg)
{
	walk(callback, arg, EFI_MEMORY_UC);
}