Searched refs:regions_length (Results 1 - 13 of 13) sorted by relevance

/barrelfish-2018-10-04/usr/acpi/arch/armv8/
H A Dacpi_allocators_arch.c25 for (int i = 0; i < bootinfo->regions_length; i++) {
/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_allocators.c150 if (bootinfo->regions_length > L2_CNODE_SLOTS) {
152 bootinfo->regions_length, L2_CNODE_SLOTS);
157 for (int i = 0; i < bootinfo->regions_length; i++) {
/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h158 size_t regions_length; member in struct:bootinfo
/barrelfish-2018-10-04/usr/init/
H A Dmem_alloc.c81 for (int i = 0; i < bi->regions_length; i++) {
/barrelfish-2018-10-04/lib/spawndomain/
H A Dmultiboot.c189 for(size_t i = 0; i < bi->regions_length; i++) {
212 for(size_t i = 0; i < bi->regions_length; i++) {
/barrelfish-2018-10-04/usr/mem_serv/
H A Dmem_serv.c342 for (int i = 0; i < bi->regions_length; i++) {
425 for (int i = 0; i < bi->regions_length; i++) {
/barrelfish-2018-10-04/usr/monitor/
H A Dspawn.c244 for(size_t i = 0; i < bi->regions_length; i++) {
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dstartup_arch.c246 bootinfo->regions_length = 0;
271 region = &bootinfo->regions[bootinfo->regions_length++];
282 region = &bootinfo->regions[bootinfo->regions_length++];
/barrelfish-2018-10-04/kernel/
H A Dstartup.c54 size_t *regions_index = &bootinfo->regions_length;
/barrelfish-2018-10-04/usr/ramfsd/
H A Dmain.c352 for (int i = 0; i < bi->regions_length; i++) {
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dstartup_arch.c218 &bootinfo->regions[bootinfo->regions_length++];
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dstartup_x86.c153 &bootinfo->regions[bootinfo->regions_length++];
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dstartup_arch.c177 for(int i = 0; i < bootinfo->regions_length; i++) {
533 /* for (int i = 0; i < bootinfo->regions_length; i++) { */

Completed in 79 milliseconds