/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
H A D | machine.h | 372 void arch_clean_invalidate_L1_caches(word_t type);
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | rule.py | 190 if type(rule) == dict: 201 elif type(rule) == int:
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 436 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 D | untyped.c | 47 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 D | cbor64.c | 15 /* 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 D | cbor64.c | 15 /* 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 D | arith.h | 171 * @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 D | cbor64.h | 143 /* 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 D | arith.h | 171 * @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 D | cbor64.h | 143 /* 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 D | gic_v3.c | 139 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 D | objecttype.c | 16 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 D | objecttype.c | 20 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 D | vspace.c | 442 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 D | objecttype.c | 23 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 D | vspace.c | 622 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 D | vspace.c | 706 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 D | smmu.c | 261 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 D | iospace.c | 169 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 D | smmu.c | 52 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 D | syscall_stub_gen.py | 93 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 D | syscall_stub_gen.py | 93 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 D | io.tex | 198 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 D | syscall_stub_gen.py | 93 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 D | interrupt.h | 58 current_syscall_error.type = seL4_RangeError;
|