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

123

/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DHolSmtLib.sig1 (* Copyright (c) 2009-2011 Tjark Weber. All rights reserved. *)
H A DHolSmtLib.sml1 (* Copyright (c) 2009-2012 Tjark Weber. All rights reserved. *)
H A DZ3_ProformaThms.sml1 (* Copyright (c) 2009-2010 Tjark Weber. All rights reserved. *)
H A DZ3_Proof.sml1 (* Copyright (c) 2009-2010 Tjark Weber. All rights reserved. *)
H A DSolverSpec.sml1 (* Copyright (c) 2009-2012 Tjark Weber. All rights reserved. *)
H A DZ3.sml1 (* Copyright (c) 2009-2012 Tjark Weber. All rights reserved. *)
H A DLibrary.sml1 (* Copyright (c) 2009-2011 Tjark Weber. All rights reserved. *)
H A DSmtLib_Logics.sml1 (* Copyright (c) 2010-2011 Tjark Weber. All rights reserved. *)
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DHolQbfLib.sig1 (* Copyright (c) 2010-2011 Tjark Weber. All rights reserved. *)
H A DQbfTrace.sml1 (* Copyright (c) 2010 Tjark Weber. All rights reserved. *)
H A Dselftest.sml1 (* Copyright (c) 2010-2011 Tjark Weber. All rights reserved. *)
H A DHolQbfLib.sml1 (* Copyright (c) 2010-2011 Tjark Weber. All rights reserved. *)
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMD5.sig3 (* Copyright (C) 2001 Daniel Wang. All rights reserved. *)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot2.h32 uint32_t reserved; member in struct:multiboot2_memory
H A Dmultiboot.h26 uint32_t reserved; member in struct:multiboot_module
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dfpu.h30 uint32_t reserved[4]; /* instruction and data pointers */ member in struct:i387_state
44 uint64_t reserved[6]; member in struct:xsave_state::__anon149
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dacpi.h46 char reserved[3]; member in struct:acpi_rsdp
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dacpi.c30 uint8_t reserved[10]; member in struct:acpi_dmar
53 uint8_t reserved; member in struct:acpi_dmar_drhd
64 uint16_t reserved; member in struct:acpi_dmar_devscope
77 uint16_t reserved; member in struct:acpi_dmar_rmrr
89 uint8_t reserved[76]; member in struct:acpi_fadt
128 uint16_t reserved; member in struct:acpi_madt_x2apic
139 uint8_t reserved[1]; member in struct:acpi_madt_ioapic
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h30 seL4_Uint8 reserved[222]; member in struct:seL4_VBEInfoBlock
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h30 seL4_Uint8 reserved[222]; member in struct:seL4_VBEInfoBlock
/seL4-l4v-10.1.1/HOL4/src/holyhammer/
H A DhhTptp.sml63 else escape ("reserved." ^ name)
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTerm.sml169 (* Built-in infix operators and reserved symbols. *)
207 val reserved = ["!", "?", "(", ")", ".", "~"]; value
336 some (fn tok => not (mem tok reserved) andalso !var_string tok);
343 val avoid = itoks @ reserved
/seL4-l4v-10.1.1/l4v/spec/abstract/document/
H A Droot.tex131 \textsc{All rights reserved}.
/seL4-l4v-10.1.1/l4v/proof/bisim/document/
H A Droot.tex114 \textsc{All rights reserved}. This document is made available under
/seL4-l4v-10.1.1/seL4/manual/
H A Dmanual.tex111 \textsc{All rights reserved}.

Completed in 199 milliseconds

123