Searched refs:reserved (Results 1 - 25 of 44) sorted by relevance

12

/seL4-test-master/projects/musllibc/arch/arm/bits/
H A Duser.h29 int reserved; member in struct:user
/seL4-test-master/projects/musllibc/arch/arm_sel4/bits/
H A Duser.h29 int reserved; member in struct:user
/seL4-test-master/kernel/src/kernel/
H A Dboot.c28 /* Walk through reserved regions and see if any can be merged */
30 if (ndks_boot.reserved[i - 1].end == ndks_boot.reserved[i].start) {
32 ndks_boot.reserved[i - 1].end = ndks_boot.reserved[i].end;
35 ndks_boot.reserved[j - 1] = ndks_boot.reserved[j];
57 if (ndks_boot.reserved[i].start == reg.end) {
58 ndks_boot.reserved[i].start = reg.start;
62 if (ndks_boot.reserved[
706 init_freemem(word_t n_available, const p_region_t *available, word_t n_reserved, region_t *reserved, v_region_t it_v_reg, word_t extra_bi_size_bits) argument
[all...]
/seL4-test-master/kernel/tools/hardware/utils/
H A Dmemory.py30 ''' Parse a reserved-memory node, looking for regions that are
31 unusable by OS (e.g. reserved for firmware/bootloader) '''
42 def reserve_regions(regions: Set[Region], reserved: Set[Region]) -> Set[Region]:
43 ''' Given a set of regions, and a set of reserved regions,
47 while len(reserved) > 0:
48 reserve = reserved.pop()
91 reserved = parse_reserved_regions(tree.get_path('/reserved-memory'))
92 regions = reserve_regions(regions, reserved)
95 return regions, reserved
[all...]
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c43 BOOT_DATA static region_t reserved[MAX_RESERVED]; variable
48 reserved[0].start = KERNEL_ELF_BASE;
49 reserved[0].end = (pptr_t)ki_end;
54 reserved[index].start = (pptr_t) paddr_to_pptr(dtb_p_reg.start);
55 reserved[index].end = (pptr_t) paddr_to_pptr(dtb_p_reg.end);
68 reserved[index] = mode_reserved_region[0];
70 reserved[index].start = ui_reg.start;
71 reserved[index].end = ui_reg.end;
73 reserved[index].start = ui_reg.start;
74 reserved[inde
89 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, reserved, it_v_reg, extra_bi_size_bits); local
[all...]
/seL4-test-master/projects/musllibc/arch/i386/bits/
H A Duser.h10 long fip, fcs, foo, fos, mxcsr, reserved; member in struct:user_fpxregs_struct
32 int reserved; member in struct:user
/seL4-test-master/projects/musllibc/arch/i386_sel4/bits/
H A Duser.h10 long fip, fcs, foo, fos, mxcsr, reserved; member in struct:user_fpxregs_struct
32 int reserved; member in struct:user
/seL4-test-master/kernel/tools/hardware/outputs/
H A Dyaml.py31 phys_mem, reserved, _ = memory.get_physical_memory(tree, config)
33 dev_mem = memory.get_addrspace_exclude(list(reserved) + phys_mem + kernel_devs, config)
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_info.h184 uint32_t reserved; member in struct:edd_device_params::__anon58::__anon60
188 uint64_t reserved; member in struct:edd_device_params::__anon58::__anon61
191 uint64_t reserved; member in struct:edd_device_params::__anon58::__anon62
194 uint64_t reserved; member in struct:edd_device_params::__anon58::__anon63
197 uint64_t reserved; member in struct:edd_device_params::__anon58::__anon64
224 uint64_t reserved; member in struct:edd_device_params::__anon65::__anon69
228 uint64_t reserved; member in struct:edd_device_params::__anon65::__anon70
236 uint64_t reserved; member in struct:edd_device_params::__anon65::__anon72
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot2.h27 uint32_t reserved; member in struct:multiboot2_memory
H A Dmultiboot.h20 uint32_t reserved; member in struct:multiboot_module
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dfpu.h25 uint32_t reserved[4]; /* instruction and data pointers */ member in struct:i387_state
39 uint64_t reserved[6]; member in struct:xsave_state::__anon8
/seL4-test-master/projects/musllibc/arch/x32/bits/
H A Duser.h29 int reserved; member in struct:user
/seL4-test-master/projects/musllibc/arch/x86_64/bits/
H A Duser.h29 int reserved; member in struct:user
/seL4-test-master/projects/musllibc/arch/x86_64_sel4/bits/
H A Duser.h29 int reserved; member in struct:user
/seL4-test-master/projects/musllibc/src/internal/i386_sel4/
H A Dsyscall.s21 movl %eax, 8(%esp) # Put this in space we reserved
/seL4-test-master/projects/musllibc/src/internal/x86_64_sel4/
H A Dsyscall.s21 movq %rax, 16(%rsp) # Put this in space we reserved
/seL4-test-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h41 char reserved[3]; member in struct:acpi_rsdp
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c26 uint8_t reserved[10]; member in struct:acpi_dmar
49 uint8_t reserved; member in struct:acpi_dmar_drhd
60 uint16_t reserved; member in struct:acpi_dmar_devscope
73 uint16_t reserved; member in struct:acpi_dmar_rmrr
85 uint8_t reserved[76]; member in struct:acpi_fadt
124 uint16_t reserved; member in struct:acpi_madt_x2apic
135 uint8_t reserved[1]; member in struct:acpi_madt_ioapic
/seL4-test-master/kernel/include/kernel/
H A Dboot.h33 p_region_t reserved[MAX_NUM_RESV_REG]; member in struct:ndks_boot
51 word_t n_reserved, region_t *reserved,
/seL4-test-master/projects/musllibc/arch/mips64/bits/
H A Dsignal.h55 unsigned int reserved; member in struct:__anon142
/seL4-test-master/projects/musllibc/arch/mipsn32/bits/
H A Dsignal.h55 unsigned int reserved; member in struct:__anon148
/seL4-test-master/projects/musllibc/include/sys/
H A Dfanotify.h11 unsigned char reserved; member in struct:fanotify_event_metadata
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h40 uint32_t reserved[2]; member in struct:ethtool_cmd
270 uint32_t reserved; member in struct:ethtool_sset_info
288 uint32_t reserved; member in struct:ethtool_test
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c27 BOOT_DATA static region_t reserved[MAX_RESERVED]; variable
92 reserved[0] = paddr_to_pptr_reg(ui_p_reg);
93 init_freemem(mem_p_regs->count, mem_p_regs->list, MAX_RESERVED, reserved, v_reg, extra_bi_size_bits);

Completed in 157 milliseconds

12