Searched refs:RESET_REG (Results 1 – 4 of 4) sorted by relevance
20 #define RESET_REG(phys_id) (0xfe400008 | (phys_id << 12)) macro87 __raw_writel(entry_point, RESET_REG(cpu)); in shx3_start_cpu()89 __raw_writel(virt_to_phys(entry_point), RESET_REG(cpu)); in shx3_start_cpu()
20 #define RESET_REG (void *)(SYSCON_BASE + 0x18) macro184 writel(IOTDK_RESET_SEQ, RESET_REG); in reset_cpu()
70 #define RESET_REG 0xe4180000 /* Write only */ macro
134 Use the ACPI RESET_REG in the FADT. If ACPI is not configured or