/seL4-test-master/projects/musllibc/arch/arm/bits/ |
H A D | user.h | 29 int reserved; member in struct:user
|
/seL4-test-master/projects/musllibc/arch/arm_sel4/bits/ |
H A D | user.h | 29 int reserved; member in struct:user
|
/seL4-test-master/kernel/src/kernel/ |
H A D | boot.c | 28 /* 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 D | memory.py | 30 ''' 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 D | boot.c | 43 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 D | user.h | 10 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 D | user.h | 10 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 D | yaml.py | 31 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 D | guest_boot_info.h | 184 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 D | multiboot2.h | 27 uint32_t reserved; member in struct:multiboot2_memory
|
H A D | multiboot.h | 20 uint32_t reserved; member in struct:multiboot_module
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | fpu.h | 25 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 D | user.h | 29 int reserved; member in struct:user
|
/seL4-test-master/projects/musllibc/arch/x86_64/bits/ |
H A D | user.h | 29 int reserved; member in struct:user
|
/seL4-test-master/projects/musllibc/arch/x86_64_sel4/bits/ |
H A D | user.h | 29 int reserved; member in struct:user
|
/seL4-test-master/projects/musllibc/src/internal/i386_sel4/ |
H A D | syscall.s | 21 movl %eax, 8(%esp) # Put this in space we reserved
|
/seL4-test-master/projects/musllibc/src/internal/x86_64_sel4/ |
H A D | syscall.s | 21 movq %rax, 16(%rsp) # Put this in space we reserved
|
/seL4-test-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 41 char reserved[3]; member in struct:acpi_rsdp
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 26 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 D | boot.h | 33 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 D | signal.h | 55 unsigned int reserved; member in struct:__anon142
|
/seL4-test-master/projects/musllibc/arch/mipsn32/bits/ |
H A D | signal.h | 55 unsigned int reserved; member in struct:__anon148
|
/seL4-test-master/projects/musllibc/include/sys/ |
H A D | fanotify.h | 11 unsigned char reserved; member in struct:fanotify_event_metadata
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 40 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 D | boot.c | 27 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);
|