Home
last modified time | relevance | path

Searched refs:ipi_pending (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm_riscv.c551 atomic_set_32(&hypctx->ipi_pending, 1); in riscv_send_ipi()
562 val = atomic_swap_32(&hypctx->ipi_pending, 0); in riscv_check_ipi()
564 val = hypctx->ipi_pending; in riscv_check_ipi()
H A Driscv.h96 int ipi_pending; member