Searched refs:ctxid (Results 1 – 2 of 2) sorted by relevance
134 uint32_t ctxid; member
576 map->ctxid = uctx->vm_info.asid; in core_mmu_create_user_map()727 map->ctxid = read_contextidr(); in core_mmu_get_user_map()745 write_contextidr(map->ctxid); in core_mmu_set_user_map()