| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 25 uint8_t flags; member
48 uint8_t flags; member
86 uint32_t flags; member
95 uint32_t flags; member
117 uint32_t flags; member
126 uint32_t flags; member
147 uint16_t flags; member
321 uint32_t flags = ((acpi_madt_apic_t *)acpi_madt_header)->flags; in acpi_madt_scan() local
322 if (flags == 1) { in acpi_madt_scan()
335 uint32_t flags = ((acpi_madt_x2apic_t *)acpi_madt_header)->flags; in acpi_madt_scan() local
[all …]
|
| /seL4-master/ |
| A D | .cmake-format.yaml | 15 flags:
22 flags:
33 flags:
|
| A D | CMakeLists.txt | 22 RequireTool(KERNEL_FLAGS_PATH flags.cmake)
44 # flags as the kernel
98 CACHE INTERNAL "Default ASM flags for compilation \
99 (subset of flags used by the kernel build)"
103 CACHE INTERNAL "Default C flags for compilation \
104 (subset of flags used by the kernel)"
108 CACHE INTERNAL "Default CXX flags for compilation"
119 CACHE INTERNAL "Default flags for linker an elf binary application"
121 # Initializing the kernel build flags starting from the same base flags that the users will use
124 # Setup kernel specific flags
[all …]
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 46 word_t flags,
59 word_t flags, in handleKernelException() argument
79 printf("FLAGS: 0x%lx\n", flags); in handleKernelException()
|
| /seL4-master/tools/ |
| A D | flags.cmake | 9 # Set the cmake compilation flags with kernel base flags
|
| A D | helpers.cmake | 80 # Give any other flags from the user
|
| /seL4-master/src/object/ |
| A D | schedcontrol.c | 14 … ticks_t period, word_t max_refills, word_t badge, word_t flags) in invokeSchedControl_ConfigureFlags() argument
18 target->scSporadic = (flags & seL4_SchedContext_Sporadic) != 0; in invokeSchedControl_ConfigureFlags()
108 word_t flags = getSyscallArg(TIME_ARG_SIZE * 2 + 2, buffer); in decodeSchedControl_ConfigureFlags() local
159 flags); in decodeSchedControl_ConfigureFlags()
|
| A D | tcb.c | 887 word_t flags; in decodeCopyRegisters() local
895 flags = getSyscallArg(0, buffer); in decodeCopyRegisters()
897 transferArch = Arch_decodeTransfer(flags >> 8); in decodeCopyRegisters()
914 flags & BIT(CopyRegisters_resumeTarget), in decodeCopyRegisters()
928 word_t transferArch, flags, n; in decodeReadRegisters() local
937 flags = getSyscallArg(0, buffer); in decodeReadRegisters()
950 transferArch = Arch_decodeTransfer(flags >> 8); in decodeReadRegisters()
962 flags & BIT(ReadRegisters_suspend), in decodeReadRegisters()
972 word_t flags, w; in decodeWriteRegisters() local
982 flags = getSyscallArg(0, buffer); in decodeWriteRegisters()
[all …]
|
| /seL4-master/src/arch/arm/object/ |
| A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) in Arch_decodeTransfer() argument
|
| A D | vcpu.c | 144 uint32_t flags; in VGICMaintenance() local
166 flags = get_gic_vcpu_ctrl_misr(); in VGICMaintenance()
168 if (flags & VGIC_MISR_EOI) { in VGICMaintenance()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) in Arch_decodeTransfer() argument
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | multiboot.h | 33 uint32_t flags; member
|
| /seL4-master/src/arch/x86/object/ |
| A D | tcb.c | 14 word_t CONST Arch_decodeTransfer(word_t flags) in Arch_decodeTransfer() argument
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 519 if ((mbi->part1.flags & MULTIBOOT_INFO_MEM_FLAG) == 0) { in try_boot_sys_mbi1()
524 if (!(mbi->part1.flags & MULTIBOOT_INFO_MODS_FLAG)) { in try_boot_sys_mbi1()
560 if (mbi->part1.flags & MULTIBOOT_INFO_MMAP_FLAG) { in try_boot_sys_mbi1()
585 if ((mbi->part1.flags & MULTIBOOT_INFO_GRAPHICS_FLAG) == 0) { in try_boot_sys_mbi1()
|
| /seL4-master/include/object/ |
| A D | tcb.h | 222 word_t CONST Arch_decodeTransfer(word_t flags);
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.bf | 531 field flags 1
|
| /seL4-master/include/arch/x86/arch/64/mode/object/ |
| A D | structures.bf | 643 field flags 1
|
| /seL4-master/manual/parts/ |
| A D | objects.tex | 306 is a word-size array of flags, each of which behaves like a binary semaphore. Operations
307 are \emph{signalling} a subset of flags in a single operation,
308 polling to check any flags,
|
| A D | threads.tex | 204 to be specified along with a bitwise OR'd set of the following flags.
|
| /seL4-master/tools/dts/ |
| A D | tx2.dts | 903 nvidia,link-flags = "min_power";
4261 nvidia,dc-flags = < 0x01 >;
4264 nvidia,fb-flags = < 0x01 >;
4294 nvidia,dc-flags = < 0x01 >;
4297 nvidia,fb-flags = < 0x01 >;
4320 nvidia,dc-flags = < 0x01 >;
4323 nvidia,fb-flags = < 0x01 >;
4394 nvidia,out-flags = < 0x00 >;
4482 nvidia,out-flags = < 0x00 >;
4531 nvidia,out-flags = < 0x20 >;
[all …]
|