vmd.c (355a47ae7ebcf9d605aa809b259d380422e81b8d) vmd.c (f6b6aefee70aa5261deec7feab80c249bf58397f)
1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Volume Management Device driver
4 * Copyright (c) 2015, Intel Corporation.
5 */
6
7#include <linux/device.h>
8#include <linux/interrupt.h>

--- 613 unchanged lines hidden (view full) ---

622 * put 32-bit resources in the window.
623 *
624 * There's no hardware reason why a 64-bit window *couldn't*
625 * contain a 32-bit resource, but pbus_size_mem() computes the
626 * bridge window size assuming a 64-bit window will contain no
627 * 32-bit resources. __pci_assign_resource() enforces that
628 * artificial restriction to make sure everything will fit.
629 *
1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Volume Management Device driver
4 * Copyright (c) 2015, Intel Corporation.
5 */
6
7#include <linux/device.h>
8#include <linux/interrupt.h>

--- 613 unchanged lines hidden (view full) ---

622 * put 32-bit resources in the window.
623 *
624 * There's no hardware reason why a 64-bit window *couldn't*
625 * contain a 32-bit resource, but pbus_size_mem() computes the
626 * bridge window size assuming a 64-bit window will contain no
627 * 32-bit resources. __pci_assign_resource() enforces that
628 * artificial restriction to make sure everything will fit.
629 *
630 * The only way we could use a 64-bit non-prefechable MEMBAR is
630 * The only way we could use a 64-bit non-prefetchable MEMBAR is
631 * if its address is <4GB so that we can convert it to a 32-bit
632 * resource. To be visible to the host OS, all VMD endpoints must
633 * be initially configured by platform BIOS, which includes setting
634 * up these resources. We can assume the device is configured
635 * according to the platform needs.
636 */
637 res = &vmd->dev->resource[VMD_MEMBAR1];
638 upper_bits = upper_32_bits(res->end);

--- 231 unchanged lines hidden ---
631 * if its address is <4GB so that we can convert it to a 32-bit
632 * resource. To be visible to the host OS, all VMD endpoints must
633 * be initially configured by platform BIOS, which includes setting
634 * up these resources. We can assume the device is configured
635 * according to the platform needs.
636 */
637 res = &vmd->dev->resource[VMD_MEMBAR1];
638 upper_bits = upper_32_bits(res->end);

--- 231 unchanged lines hidden ---