cpu_reset
typedef typeof(cpu_reset) phys_reset_t;
phys_reset = (phys_reset_t)(unsigned long)__pa_symbol(cpu_reset);
phys_reset = (phys_reset_t)(unsigned long)__pa_symbol(cpu_reset);
extern void cpu_reset(unsigned long addr, bool hvc) __attribute__((noreturn));
phys_reset = (phys_reset_t)virt_to_idmap(cpu_reset);
phys_reset = (phys_reset_t)(unsigned long)virt_to_phys(cpu_reset);
typedef typeof(cpu_reset) phys_reset_t;
phys_reset = (phys_reset_t)(unsigned long)__pa_symbol(cpu_reset);
void cpu_reset(void) __attribute__((noreturn));
unsigned long vaddr = (unsigned long)cpu_reset;
cpu_reset();
cpu_reset();
cpu_reset();