Lines Matching refs:va
132 * Fake starting va for new kernel and boot archive.
271 fastboot_vatoindex(fastboot_info_t *nk, uintptr_t va, int level)
273 return ((va >> nk->fi_shift_amt[level]) & (nk->fi_ptes_per_table - 1));
947 uintptr_t va;
1029 va = P2ROUNDUP_TYPED((uintptr_t)buf, PAGESIZE, uintptr_t);
1031 if (kobj_read_file(file, (char *)va, fsize, 0) < 0) {
1038 fb->fb_va = va;
1095 Ehdr *ehdr = (Ehdr *)va;
1116 if (fastboot_elf32_find_loadables((void *)va,
1150 (void *)va, fsize, &dboot_start_offset)