Searched refs:type (Results 1 - 25 of 933) sorted by last modified time

1234567891011>>

/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/
H A Dmachine.h372 void arch_clean_invalidate_L1_caches(word_t type);
/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py190 if type(rule) == dict:
201 elif type(rule) == int:
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c436 fail("Invalid VM fault type");
612 current_syscall_error.type = seL4_IllegalOperation;
618 current_syscall_error.type = seL4_IllegalOperation;
625 current_syscall_error.type = seL4_AlignmentError;
683 current_syscall_error.type = seL4_RevokeFirst;
694 current_syscall_error.type = seL4_RevokeFirst;
705 current_syscall_error.type = seL4_IllegalOperation;
711 current_syscall_error.type = seL4_TruncatedMessage;
716 current_syscall_error.type = seL4_InvalidCapability;
727 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/src/object/
H A Duntyped.c47 current_syscall_error.type = seL4_IllegalOperation;
54 current_syscall_error.type = seL4_TruncatedMessage;
68 /* Is the requested object type valid? */
70 userError("Untyped Retype: Invalid object type.");
71 current_syscall_error.type = seL4_InvalidArgument;
83 current_syscall_error.type = seL4_RangeError;
92 current_syscall_error.type = seL4_InvalidArgument;
100 current_syscall_error.type = seL4_InvalidArgument;
108 current_syscall_error.type = seL4_InvalidArgument;
130 current_syscall_error.type
[all...]
/seL4-refos-master/projects/util_libs/libutils/src/
H A Dcbor64.c15 /* Generate the initial byte indicating the type of the following data */
16 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data) argument
18 return base64_putbyte(streamer, (type << 5) | (data & MASK(5)));
27 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number) argument
54 int err = cbor64_initial_byte(streamer, type, additional_info);
72 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length) argument
74 int err = cbor64_send_item(streamer, type, length);
/seL4-refos-master/libs/libutils/src/
H A Dcbor64.c15 /* Generate the initial byte indicating the type of the following data */
16 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data) argument
18 return base64_putbyte(streamer, (type << 5) | (data & MASK(5)));
27 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number) argument
54 int err = cbor64_initial_byte(streamer, type, additional_info);
72 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length) argument
74 int err = cbor64_send_item(streamer, type, length);
/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Darith.h171 * @param type type of field before padding
173 #define PAD_STRUCT_BETWEEN(before, after, type) \
174 uint8_t JOIN(__padding, __COUNTER__)[(after) - (before) - sizeof(type)]
H A Dcbor64.h143 /* Generate the initial byte indicating the type of the following data */
144 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data);
150 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number);
152 /* Send a type array of bytes (UTF8 or bytes) */
153 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length);
218 cbor64_mt_t type = CBOR64_MT_UNSIGNED_INT; local
220 type = CBOR64_MT_NEGATIVE_INT;
224 return cbor64_send_item(streamer, type, number);
358 * Maps are a series of key-value pairs. The keys may be of any type.
/seL4-refos-master/libs/libutils/include/utils/
H A Darith.h171 * @param type type of field before padding
173 #define PAD_STRUCT_BETWEEN(before, after, type) \
174 uint8_t JOIN(__padding, __COUNTER__)[(after) - (before) - sizeof(type)]
H A Dcbor64.h143 /* Generate the initial byte indicating the type of the following data */
144 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data);
150 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number);
152 /* Send a type array of bytes (UTF8 or bytes) */
153 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length);
218 cbor64_mt_t type = CBOR64_MT_UNSIGNED_INT; local
220 type = CBOR64_MT_NEGATIVE_INT;
224 return cbor64_send_item(streamer, type, number);
358 * Maps are a series of key-value pairs. The keys may be of any type.
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c139 uint32_t type; local
148 type = gic_dist->typer;
150 nr_lines = GIC_REG_WIDTH * ((type & GICD_TYPE_LINESNR) + 1);
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c16 bool_t Arch_isFrameType(word_t type) argument
18 switch (type) {
41 current_syscall_error.type = seL4_IllegalOperation;
53 current_syscall_error.type = seL4_IllegalOperation;
65 current_syscall_error.type = seL4_IllegalOperation;
77 current_syscall_error.type = seL4_IllegalOperation;
114 * as the options are restricted by type */
381 fail("Invalid object type");
470 fail("Arch_createObject got an API type or invalid object type");
[all...]
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c20 bool_t Arch_isFrameType(word_t type) argument
22 switch (type) {
47 current_syscall_error.type = seL4_IllegalOperation;
59 current_syscall_error.type = seL4_IllegalOperation;
66 * one frame cap type on ARM */
102 current_syscall_error.type = seL4_IllegalOperation;
110 * as the options are restricted by type */
374 fail("Invalid object type");
529 * got an API type" and the case where an invalid object type i
[all...]
/seL4-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c442 9, /* desc type */
940 * and an invalid entry should really be a third type, but we can simulate it by
1154 current_syscall_error.type = seL4_RevokeFirst;
1165 current_syscall_error.type = seL4_IllegalOperation;
1171 current_syscall_error.type = seL4_TruncatedMessage;
1177 current_syscall_error.type = seL4_InvalidCapability;
1188 current_syscall_error.type = seL4_InvalidCapability;
1199 current_syscall_error.type = seL4_InvalidArgument;
1209 current_syscall_error.type = seL4_FailedLookup;
1216 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c23 bool_t Arch_isFrameType(word_t type) argument
25 switch (type) {
48 * as the options are restricted by type */
49 fail("Invalid arch cap type");
107 fail("No mapping type for mapped cap");
114 fail("Invalid arch cap type");
129 fail("Invalid object type");
189 fail("Mode_createObject got an API type or invalid object type");
209 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c622 current_syscall_error.type = seL4_IllegalOperation;
628 current_syscall_error.type = seL4_IllegalOperation;
634 current_syscall_error.type = seL4_AlignmentError;
964 fail("Invalid VM fault type");
1389 fail("Invalid ARM page type");
1708 current_syscall_error.type = seL4_TruncatedMessage;
1718 current_syscall_error.type = seL4_InvalidArgument;
1726 current_syscall_error.type = seL4_IllegalOperation;
1731 current_syscall_error.type = seL4_InvalidCapability;
1743 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c706 current_syscall_error.type = seL4_IllegalOperation;
711 current_syscall_error.type = seL4_IllegalOperation;
718 current_syscall_error.type = seL4_AlignmentError;
894 fail("Invalid PTE frame type");
950 fail("Invalid PTE frame type");
982 fail("Invalid PDE frame type");
1323 fail("Invalid VM fault type");
1503 fail("Invalid ARM page type");
1634 current_syscall_error.type =
1652 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c261 uint32_t UNUSED type = (err_status & MC_ERR_TYPE_MASK) >> MC_ERR_TYPE_SHIFT; local
264 printf("ID: %d address: 0x%x type: %d direction: 0x%x\n", id, err_adr, type, rw);
/seL4-refos-master/kernel/src/arch/arm/object/
H A Diospace.c169 current_syscall_error.type = seL4_TruncatedMessage;
175 current_syscall_error.type = seL4_IllegalOperation;
184 current_syscall_error.type = seL4_InvalidCapability;
191 current_syscall_error.type = seL4_InvalidCapability;
208 current_syscall_error.type = seL4_DeleteFirst;
265 current_syscall_error.type = seL4_TruncatedMessage;
270 userError("IOMap: Invalid cap type.");
271 current_syscall_error.type = seL4_InvalidCapability;
278 current_syscall_error.type = seL4_InvalidCapability;
289 current_syscall_error.type
[all...]
H A Dsmmu.c52 current_syscall_error.type = seL4_IllegalOperation;
56 current_syscall_error.type = seL4_TruncatedMessage;
66 current_syscall_error.type = seL4_RangeError;
73 current_syscall_error.type = seL4_RevokeFirst;
111 current_syscall_error.type = seL4_TruncatedMessage;
118 current_syscall_error.type = seL4_InvalidCapability;
124 current_syscall_error.type = seL4_InvalidCapability;
154 current_syscall_error.type = seL4_IllegalOperation;
166 current_syscall_error.type = seL4_IllegalOperation;
203 current_syscall_error.type
[all...]
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py93 This class represents a C type (such as an 'int', structure or
99 Define a new type, named 'name' that is 'size_bits' bits
109 # Store the number of bits C will use for this type
140 of this type.
158 A pointer to a standard type.
178 A type that is just a typedef of seL4_CPtr.
215 def __init__(self, name, type):
217 self.type = type
373 # Retrieve a member list for a given struct type
[all...]
/seL4-refos-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py93 This class represents a C type (such as an 'int', structure or
99 Define a new type, named 'name' that is 'size_bits' bits
109 # Store the number of bits C will use for this type
140 of this type.
158 A pointer to a standard type.
178 A type that is just a typedef of seL4_CPtr.
215 def __init__(self, name, type):
217 self.type = type
373 # Retrieve a member list for a given struct type
[all...]
/seL4-refos-master/kernel/manual/parts/
H A Dio.tex198 tables between a context bank and software MMU address space if the stage and type
226 context banks with two static CNodes, one for each resource type. These CNodes
/seL4-refos-master/libs/libsel4/tools/
H A Dsyscall_stub_gen.py93 This class represents a C type (such as an 'int', structure or
99 Define a new type, named 'name' that is 'size_bits' bits
109 # Store the number of bits C will use for this type
140 of this type.
158 A pointer to a standard type.
178 A type that is just a typedef of seL4_CPtr.
215 def __init__(self, name, type):
217 self.type = type
373 # Retrieve a member list for a given struct type
[all...]
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Dinterrupt.h58 current_syscall_error.type = seL4_RangeError;

Completed in 131 milliseconds

1234567891011>>