Searched refs:VCORE_START_VA (Results 1 – 10 of 10) sorted by relevance
25 " failed", (vaddr_t)call - VCORE_START_VA); in call_preinitcalls()44 " failed", (vaddr_t)call - VCORE_START_VA); in call_initcalls()63 " failed", (vaddr_t)call - VCORE_START_VA); in call_finalcalls()
76 assert(((vaddr_t)kaddr - VCORE_START_VA) < UINT32_MAX); in kaddr_to_uref()77 return (vaddr_t)kaddr - VCORE_START_VA; in kaddr_to_uref()82 return VCORE_START_VA + uref; in uref_to_vaddr()
302 VCORE_START_VA); in user_ta_dump_ftrace()
88 "TEE load address @ %#"PRIxVA, VCORE_START_VA); in print_kernel_stack()
129 "TEE load address @ %#"PRIxVA, VCORE_START_VA); in print_kernel_stack()
327 const vaddr_t begin = VCORE_START_VA; in init_vcore()383 unsigned int reloc_offs = (vaddr_t)__pageable_start - VCORE_START_VA; in ro_paged_alloc()1294 (unsigned long)boot_mmu_config.load_offset, VCORE_START_VA); in boot_init_primary_late()
224 VCORE_START_VA); in __abort_print()
63 #define VCORE_START_VA ((vaddr_t)__text_start) macro
147 (ROUNDUP(VCORE_START_VA + TEE_RAM_VA_SIZE, CORE_MMU_PGDIR_SIZE) - \148 ROUNDDOWN(VCORE_START_VA, CORE_MMU_PGDIR_SIZE))546 if (!core_mmu_find_table(NULL, VCORE_START_VA + in tee_pager_early_init()
2378 return v >= VCORE_START_VA && v < get_linear_map_end(); in is_unpaged()
Completed in 17 milliseconds