Home
last modified time | relevance | path

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

/bsp/bouffalo_lab/libraries/bl_mcu_sdk/drivers/lhal/include/arch/risc-v/t-head/
A Drv_Sv39.c76 volatile uint64_t *ttb2 = NULL; in RV_Sv39_Create_PageMapping() local
148 ttb2 = RV_Sv39_alloc_PageTable_buf(); in RV_Sv39_Create_PageMapping()
150 if (NULL == ttb2) { in RV_Sv39_Create_PageMapping()
154 ttb1[t0] = (SV39_PA2PPN((uint64_t)ttb2) << PTE_PPN_OFFSET) | in RV_Sv39_Create_PageMapping()
159 ttb2 = (volatile uint64_t *)SV39_PTE2PA(ttb1[t0]); in RV_Sv39_Create_PageMapping()
165 ttb2[t0] = (SV39_PA2PPN(cfg->pa) << PTE_PPN_OFFSET) | in RV_Sv39_Create_PageMapping()

Completed in 5 milliseconds