#include <console.h>
#include <module.h>
#include <init.h>
#include <pci.h>

int pci_set_power_state(void* dev, int num)
{
	printf("pci_set_power_state(%#X, %d)\n", dev, num);
	return 0;
}

SYMBOL_EXPORT(pci_set_power_state);

int pci_restore_state(void* dev)
{
	printf("pci_restore_state(%#X)\n", dev);
	return 0;
}

SYMBOL_EXPORT(pci_restore_state);

int pci_enable_wake(void* dev, int state, int enable)
{
	printf("pci_enable_wake(%#X, %d, %d)\n", dev, state, enable);
	return 0;
}

SYMBOL_EXPORT(pci_enable_wake);