Lines Matching refs:error
38 int error;
40 error = guest_vspace_map_page_arch(vspace, cap, vaddr, rights, cacheable, size_bits);
41 if (error) {
42 return error;
59 error = vka_cspace_alloc_path(guest_vspace->vspace_data.vka, &new_path);
60 if (error) {
62 return error;
64 error = vka_cnode_copy(&new_path, &orig_path, seL4_AllRights);
68 assert(error == seL4_NoError);
69 error = sel4utils_map_iospace_page(guest_vspace->vspace_data.vka, guest_iospace->iospace,
72 if (error) {
74 return error;
79 error = update_entries(&guest_iospace->iospace_vspace, (uintptr_t)vaddr, new_path.capPtr, size_bits, 0 /* cookie */);
80 if (error) {
82 return error;
94 int error;
113 error = seL4_ARCH_Page_Unmap(iospace_frame_cap_copy);
114 if (error) {
121 error = vka_cnode_delete(&path);
122 if (error) {
129 error = clear_entries(&guest_iospace->iospace_vspace, (uintptr_t)page_vaddr, size_bits);
130 if (error) {
153 int error = sel4utils_get_empty_vspace(loader, &guest_iospace->iospace_vspace, &guest_iospace->iospace_vspace_data,
155 if (error) {
157 return error;
166 int error;
176 error = sel4utils_get_empty_vspace_with_map(loader, new_vspace, &vspace->vspace_data, vka, page_directory, NULL, NULL,
178 if (error) {
180 return error;