/* * Platform specific functions * * This file is subject to the terms and conditions of the GNU General * Public License. See the file "COPYING" in the main directory of * this archive for more details. * * Copyright (C) 2001 - 2005 Tensilica Inc. */ #ifndef _XTENSA_PLATFORM_H #define _XTENSA_PLATFORM_H #include <linux/types.h> #include <linux/pci.h> #include <asm/bootparam.h> /* * platform_init is called before the mmu is initialized to give the * platform a early hook-up. bp_tag_t is a list of configuration tags * passed from the boot-loader. */ extern void platform_init(bp_tag_t*); /* * platform_setup is called from setup_arch with a pointer to the command-line * string. */ extern void platform_setup (char **); /* * platform_restart is called to restart the system. */ extern void platform_restart (void); /* * platform_halt is called to stop the system and halt. */ extern void platform_halt (void); /* * platform_power_off is called to stop the system and power it off. */ extern void platform_power_off (void); /* * platform_idle is called from the idle function. */ extern void platform_idle (void); /* * platform_heartbeat is called every HZ */ extern void platform_heartbeat (void); /* * platform_calibrate_ccount calibrates cpu clock freq (CONFIG_XTENSA_CALIBRATE) */ extern void platform_calibrate_ccount (void); /* * Flush and reset the mmu, simulate a processor reset, and * jump to the reset vector. */ void cpu_reset(void) __attribute__((noreturn)); /* * Memory caching is platform-dependent in noMMU xtensa configurations. * The following set of functions should be implemented in platform code * in order to enable coherent DMA memory operations when CONFIG_MMU is not * enabled. Default implementations do nothing and issue a warning. */ /* * Check whether p points to a cached memory. */ bool platform_vaddr_cached(const void *p); /* * Check whether p points to an uncached memory. */ bool platform_vaddr_uncached(const void *p); /* * Return pointer to an uncached view of the cached sddress p. */ void *platform_vaddr_to_uncached(void *p); /* * Return pointer to a cached view of the uncached sddress p. */ void *platform_vaddr_to_cached(void *p); #endif /* _XTENSA_PLATFORM_H */