Lines Matching defs:config
120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights)
123 if (config->vaddr == NULL) {
124 res = vspace_reserve_range_aligned(vspace, config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits),
125 config->size_bits,
126 rights, true, &config->vaddr);
128 res = vspace_reserve_range_at(vspace, config->vaddr,
129 config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits),
137 UNUSED int error = vspace_new_pages_at_vaddr_with_config(vspace, config, res);
144 return config->vaddr;