Searched refs:ntbl (Results 1 – 2 of 2) sorted by relevance
518 paddr_t ntbl = tbl[n] & ~((1 << 10) - 1); in core_mmu_find_table() local519 void *l2tbl = phys_to_virt(ntbl, MEM_AREA_TEE_RAM_RW_DATA, in core_mmu_find_table()
144 size_t ntbl; in alloc_pgt() local146 ntbl = get_num_req_pgts(uctx, &b, &e); in alloc_pgt()147 if (!pgt_check_avail(ntbl)) { in alloc_pgt()148 EMSG("%zu page tables not available", ntbl); in alloc_pgt()
Completed in 6 milliseconds