Home
last modified time | relevance | path

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

/bsp/bouffalo_lab/libraries/bl_mcu_sdk/drivers/lhal/include/arch/risc-v/t-head/
A Drv_Sv39.c71 int RV_Sv39_Create_PageMapping(Sv39_PTE_cfg_t *cfg, uintptr_t *tlb_index, volatile uintptr_t *ttb0) in RV_Sv39_Create_PageMapping() argument
114 if (!ttb0[t0]) { in RV_Sv39_Create_PageMapping()
118 ttb0[t0] = (SV39_PA2PPN(cfg->pa) << PTE_PPN_OFFSET) | in RV_Sv39_Create_PageMapping()
129 ttb0[t0] = (SV39_PA2PPN((uint64_t)ttb1) << PTE_PPN_OFFSET) | in RV_Sv39_Create_PageMapping()
135 ttb1 = (volatile uint64_t *)SV39_PTE2PA(ttb0[t0]); in RV_Sv39_Create_PageMapping()
A Drv_Sv39.h226 int RV_Sv39_Create_PageMapping(Sv39_PTE_cfg_t *cfg, uintptr_t *tlb_index, volatile uintptr_t *ttb0);

Completed in 8 milliseconds