- k -

• kAstCheckPollCpuCycles : device_fpga_cw305.c , device_fpga_cw310.c , device_fpga_cw340.c , device_sim_qemu.c , device_sim_verilator.c , device.h
• kBaseHexdumpDefaultFmtAlphabet : print.h
• kBootStage : boot_stage.h
• kClockFreqAonHz : device.h , device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw340.c , device_fpga_cw310.c , device_fpga_cw305.c
• kClockFreqCpuHz : device_fpga_cw340.c , device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw310.c , device_fpga_cw305.c , device.h
• kClockFreqHiSpeedPeripheralHz : device.h , device_fpga_cw310.c , device_fpga_cw340.c , device_sim_qemu.c , device_sim_verilator.c
• kClockFreqPeripheralHz : device.h , device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw340.c , device_fpga_cw310.c , device_fpga_cw305.c
• kClockFreqUsbHz : device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw340.c , device_fpga_cw305.c , device.h , device_fpga_cw310.c
• kDeviceType : device.h , device_fpga_cw305.c , device_fpga_cw310.c , device_fpga_cw340.c , device_sim_qemu.c , device_sim_verilator.c
• kDifRvPlicMaxPriority : dif_rv_plic.h
• kDifRvPlicMinPriority : dif_rv_plic.h
• kDifSpiDeviceBufferLen : dif_spi_device.h
• kDifUartFifoSizeBytes : dif_uart.h
• kUartBaud115K : device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw340.c , device_fpga_cw305.c , device.h , device_fpga_cw310.c
• kUartBaudrate : device.h , device_fpga_cw305.c , device_fpga_cw310.c , device_fpga_cw340.c , device_sim_qemu.c , device_sim_verilator.c
• kUartNCOValue : device_fpga_cw305.c , device_sim_verilator.c , device_sim_qemu.c , device_fpga_cw340.c , device_fpga_cw310.c , device.h
• kUartTxFifoCpuCycles : device.h , device_fpga_cw305.c , device_fpga_cw310.c , device_fpga_cw340.c , device_sim_qemu.c , device_sim_verilator.c

- t -

• top_earlgrey_alert_for_peripheral : top_earlgrey.h
• top_earlgrey_plic_interrupt_for_peripheral : top_earlgrey.h