Lines Matching +full:hart +full:- +full:3

1 // SPDX-License-Identifier: GPL-2.0-only
34 * There is no maximum hartid concept in RISC-V and NR_CPUS must not be in __sbi_v01_cpumask_to_hartmask()
53 * sbi_console_putchar() - Writes given character to the console device.
65 * sbi_console_getchar() - Reads a byte from console device.
80 * sbi_shutdown() - Remove all the harts from executing supervisor code.
91 * __sbi_set_timer_v01() - Program the timer for next timer event.
143 result = -EINVAL; in __sbi_rfence_v01()
245 result = -EINVAL; in __sbi_rfence_v02_call()
279 hmask <<= hbase - hartid; in __sbi_rfence_v02()
289 hmask |= BIT(hartid - hbase); in __sbi_rfence_v02()
303 * sbi_set_timer() - Program the timer for next timer event.
314 * sbi_send_ipi() - Send an IPI to any hart.
324 * sbi_remote_fence_i() - Execute FENCE.I instruction on given remote harts.
337 * sbi_remote_sfence_vma_asid() - Execute SFENCE.VMA instructions on given
363 * sbi_remote_hfence_gvma() - Execute HFENCE.GVMA instructions on given remote
381 * sbi_remote_hfence_gvma_vmid() - Execute HFENCE.GVMA instructions on given
402 * sbi_remote_hfence_vvma() - Execute HFENCE.VVMA instructions on given remote
420 * sbi_remote_hfence_vvma_asid() - Execute HFENCE.VVMA instructions on given
468 * sbi_probe_extension() - Check if an SBI extension ID is supported or not.
527 return -EOPNOTSUPP; in sbi_debug_console_write()
535 num_bytes = PAGE_SIZE - offset_in_page(bytes); in sbi_debug_console_write()
546 return -EIO; in sbi_debug_console_write()
556 return -EOPNOTSUPP; in sbi_debug_console_read()
564 num_bytes = PAGE_SIZE - offset_in_page(bytes); in sbi_debug_console_read()
575 return -EIO; in sbi_debug_console_read()
612 if ((sbi_spec_version >= sbi_mk_version(0, 3)) && in sbi_init()