fn uefi_alloc( _: *anyopaque, len: usize, alignment: mem.Alignment, ret_addr: usize, ) ?[*]u8
fn uefi_alloc( _: *anyopaque, len: usize, alignment: mem.Alignment, ret_addr: usize, ) ?[*]u8 { _ = ret_addr; std.debug.assert(@backingInt(alignment) <= 3); const slice = uefi.system_table.boot_services.?.allocatePool( uefi.efi_pool_memory_type, len, ) catch return null; return slice.ptr; }