Implemented Functions

The following are implemented by the generic_rv64 configuration:

  • is_naturally_aligned

  • mode

  • effective_ldst_mode

  • assert

  • exception_handling_mode

  • mtval_for

  • stval_for

  • vstval_for

  • notify_mode_change

  • set_mode

  • abort_current_instruction

  • raise_precise

  • raise

  • cached_translation

  • current_translation_mode

  • tinst_value_for_guest_page_fault

  • raise_guest_page_fault

  • access_check

  • read_physical_memory

  • atomic_check_then_write_64

  • gstage_page_walk

  • tinst_transform

  • translate_gstage

  • atomic_check_then_write_32

  • stage1_page_walk

  • maybe_cache_translation

  • translate

  • pma_applies?

  • atomic_read_modify_write_64

  • amo

  • atomic_read_modify_write_32

  • memory_model_acquire

  • memory_model_release

  • register_reservation_set

  • read_memory_aligned

  • load_reserved

  • invalidate_reservation_set

  • write_physical_memory

  • store_conditional

  • xlen

  • highest_set_bit

  • lowest_set_bit

  • sext

  • jump

  • read_memory

  • write_memory_aligned

  • write_memory

  • check_f_ok

  • is_sp_neg_inf?

  • is_sp_neg_norm?

  • is_sp_neg_subnorm?

  • is_sp_neg_zero?

  • is_sp_pos_zero?

  • is_sp_pos_subnorm?

  • is_sp_pos_norm?

  • is_sp_pos_inf?

  • is_sp_signaling_nan?

  • is_sp_quiet_nan?

  • rm_to_mode

  • packToF32UI

  • count_leading_zeros

  • softfloat_shiftRightJam32

  • set_fp_flag

  • softfloat_roundPackToF32

  • softfloat_normRoundPackToF32

  • mark_f_state_dirty

  • softfloat_shiftRightJam64

  • softfloat_roundToI32

  • implemented?

  • nan_box

  • jump_halfword

  • fence_tso

  • wfi

  • order_pgtbl_writes_before_vmafence

  • invalidate_translations

  • order_pgtbl_reads_after_vmafence

  • virtual_mode?

  • mask_eaddr

  • canonical_vaddr?

  • cache_block_zero

  • ary_includes?

  • valid_interrupt_code?

  • valid_exception_code?

  • hartid

  • read_hpm_counter

  • read_mcycle

  • sw_write_mcycle

  • read_mtime