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 --- |