Lines Matching refs:frameid
173 struct frame_identity frameid;
189 err = invoke_frame_identify(mem_info->cap, &mem_info->frameid);
302 uint64_t segment_load_base=mem->frameid.base;
438 lpaddr_t dest_phys = mem->frameid.base;
440 assert(phdr[i].p_offset + phdr[i].p_memsz <= mem->frameid.bytes);
606 parking_page->frameid.base = parked_address;
607 parking_page->frameid.bytes = 4096;
699 DEBUG("BOOTMEM: %lx, %zu kb\n", boot_mem.frameid.base, boot_mem.size >> 10);
712 DEBUG("CPUMEM: %lx, %zu kb\n", cpu_mem.frameid.base, cpu_mem.size >> 10);
724 DEBUG("DATAMEM: %lx, %zu kb\n", monitor_mem.frameid.base,
725 monitor_mem.frameid.bytes >> 10);
739 DEBUG("STACKMEM: %lx, %zu kb\n", stack_mem.frameid.base,
740 stack_mem.frameid.bytes >> 10);
757 core_data->cpu_driver_stack = stack_mem.frameid.base + stack_mem.frameid.bytes - 16;
758 core_data->cpu_driver_stack_limit = stack_mem.frameid.base + BASE_PAGE_SIZE;
767 core_data->memory.base = monitor_mem.frameid.base;
768 core_data->memory.length = monitor_mem.frameid.bytes;
810 stack_mem.frameid.base);
820 hwid, boot_entry, stack_mem.frameid.base);
822 err = invoke_monitor_spawn_core(hwid, cpu_type, boot_entry, stack_mem.frameid.base,