diff options
| author | Julien Grall <[email protected]> | 2015-08-03 09:50:55 +0000 |
|---|---|---|
| committer | David Vrabel <[email protected]> | 2015-08-20 12:24:16 +0100 |
| commit | 7ed208ef4ef9dbd03cda8a5b5a85cc78f79ef213 (patch) | |
| tree | 3c69b66af6bd28458f6552c286e3aed3ed4ba2f6 /scripts/gdb/linux/config.py | |
| parent | 4a5b69464e51f4a8dd432e8c2a1468630df1a53c (diff) | |
arm/xen: Drop the definition of xen_pci_platform_unplug
The commit 6f6c15ef912465b3aaafe709f39bd6026a8b3e72 "xen/pvhvm: Remove
the xen_platform_pci int." makes the x86 version of
xen_pci_platform_unplug static.
Therefore we don't need anymore to define a dummy xen_pci_platform_unplug
for ARM.
Signed-off-by: Julien Grall <[email protected]>
Signed-off-by: Stefano Stabellini <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/config.py')
0 files changed, 0 insertions, 0 deletions