Lines Matching refs:data
19 static int simple_default_cap_count(void *data)
21 assert(data);
23 init_data_t * init_data = data;
29 static seL4_CPtr simple_default_init_cap(void *data, seL4_CPtr cap_pos)
31 seL4_CPtr cap = sel4utils_process_init_cap(data, cap_pos);
33 init_data_t *init_data = data;
57 static seL4_CPtr simple_default_sched_control(void *data, int core)
59 ZF_LOGF_IF(data == NULL, "data is NULL");
62 return ((init_data_t *)data)->sched_control;
65 static uint8_t simple_default_cnode_size(void *data)
67 assert(data);
69 return ((init_data_t *)data)->cspace_size_bits;
72 static int simple_default_untyped_count(void *data)
74 assert(data);
76 return ((init_data_t *)data)->untypeds.end - ((init_data_t *)data)->untypeds.start;
79 static seL4_CPtr simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device)
81 assert(data && size_bits && paddr);
83 init_data_t *init_data = data;
103 static seL4_CPtr simple_default_nth_cap(void *data, int n)
119 init_data_t *init_data = custom_simple->simple->data;
159 ZF_LOGF_IF(init_data->free_slots.start == 0, "Bad init data");
160 ZF_LOGF_IF(init_data->free_slots.end == 0, "Bad init data");
170 init_data_t *init_data = custom_simple->simple->data;
188 init_data_t *init_data = custom_simple->simple->data;
209 static int simple_default_core_count(void *data) {
210 ZF_LOGF_IF(data == NULL, "Data is NULL");
218 ZF_LOGF_IF(init_data == NULL, "Failed to allocate init data");
236 simple->data = init_data;