Searched refs:link_vaddr (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_image_arch.h21 uintptr_t link_vaddr; member in struct:guest_kernel_image_arch
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c115 assert(vaddr >= (uint32_t)image->kernel_image_arch.link_vaddr);
116 uintptr_t guest_paddr = (uintptr_t)vaddr - (uintptr_t)image->kernel_image_arch.link_vaddr +
308 guest_image->kernel_image_arch.link_vaddr = guest_kernel_vaddr;

Completed in 31 milliseconds