forked from Mirrors/opensbi
b677a9b8d6
This patch adds support for hart hotplug in OpenSBI using a generic WFI based approach. Hart hotplug can be achieved via SBI HSM extension which allows supervisor mode software to start or stop any harts anytime. Any platform wishes to implement platform specific hart hotplug must implement both hart_start and hart_stop in addition to enable platform feature SBI_PLATFORM_HAS_HART_HOTPLUG. Signed-off-by: Atish Patra <atish.patra@wdc.com> Reviewed-by: Anup Patel <anup.patel@wdc.com>
51 lines
1.3 KiB
C
51 lines
1.3 KiB
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2019 Western Digital Corporation or its affiliates.
|
|
*
|
|
* Authors:
|
|
* Anup Patel <anup.patel@wdc.com>
|
|
*/
|
|
|
|
#ifndef __SBI_HART_H__
|
|
#define __SBI_HART_H__
|
|
|
|
#include <sbi/sbi_types.h>
|
|
|
|
struct sbi_scratch;
|
|
|
|
int sbi_hart_init(struct sbi_scratch *scratch, u32 hartid, bool cold_boot);
|
|
|
|
void *sbi_hart_get_trap_info(struct sbi_scratch *scratch);
|
|
|
|
void sbi_hart_set_trap_info(struct sbi_scratch *scratch, void *data);
|
|
|
|
void sbi_hart_delegation_dump(struct sbi_scratch *scratch);
|
|
void sbi_hart_pmp_dump(struct sbi_scratch *scratch);
|
|
int sbi_hart_pmp_check_addr(struct sbi_scratch *scratch, unsigned long daddr,
|
|
unsigned long attr);
|
|
|
|
void __attribute__((noreturn)) sbi_hart_hang(void);
|
|
|
|
void __attribute__((noreturn))
|
|
sbi_hart_switch_mode(unsigned long arg0, unsigned long arg1,
|
|
unsigned long next_addr, unsigned long next_mode,
|
|
bool next_virt);
|
|
|
|
void sbi_hart_mark_available(u32 hartid);
|
|
|
|
ulong sbi_hart_available_mask(void);
|
|
|
|
void sbi_hart_unmark_available(u32 hartid);
|
|
|
|
struct sbi_scratch *sbi_hart_id_to_scratch(struct sbi_scratch *scratch,
|
|
u32 hartid);
|
|
|
|
void sbi_hart_wait_for_coldboot(struct sbi_scratch *scratch, u32 hartid);
|
|
|
|
void sbi_hart_wake_coldboot_harts(struct sbi_scratch *scratch, u32 hartid);
|
|
|
|
u32 sbi_current_hartid(void);
|
|
|
|
#endif
|