Searched refs:debug_puth (Results 1 – 2 of 2) sorted by relevance
43 static inline void debug_puth(unsigned long val) in debug_puth() function63 static inline void debug_puth(unsigned long val) in debug_puth() function
137 debug_puth(cpuid); in psci_cpu_on()139 debug_puth(entry_point); in psci_cpu_on()