Searched refs:hart_mask_base (Results 1 – 1 of 1) sorted by relevance
48 uint64_t hart_mask_base; in vmm_sbi_handle_rfnc() local57 hart_mask_base = hypctx->guest_regs.hyp_a[1]; in vmm_sbi_handle_rfnc()88 if (hart_mask_base != -1UL) { in vmm_sbi_handle_rfnc()89 if (i < hart_mask_base) in vmm_sbi_handle_rfnc()91 if (!(hart_mask & (1UL << (i - hart_mask_base)))) in vmm_sbi_handle_rfnc()137 uint64_t hart_mask_base; in vmm_sbi_handle_ipi() local145 hart_mask_base = hypctx->guest_regs.hyp_a[1]; in vmm_sbi_handle_ipi()159 if (hart_mask_base != -1) in vmm_sbi_handle_ipi()160 hart_id += hart_mask_base; in vmm_sbi_handle_ipi()