/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch64/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map; 27 obj->size_bits = seL4_PageDirBits; 28 obj->type = seL4_ARM_PageDirectoryObject; 29 obj->map_fn = seL4_ARM_PageDirectory_Map; 33 obj->size_bits = seL4_PUDBits; 34 obj [all...] |
/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/x86_64/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_X86_PageTableObject; 24 obj->map_fn = seL4_X86_PageTable_Map; 27 obj->size_bits = seL4_PageDirBits; 28 obj->type = seL4_X86_PageDirectoryObject; 29 obj->map_fn = seL4_X86_PageDirectory_Map; 32 obj->size_bits = seL4_PDPTBits, 33 obj [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch64/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map; 27 obj->size_bits = seL4_PageDirBits; 28 obj->type = seL4_ARM_PageDirectoryObject; 29 obj->map_fn = seL4_ARM_PageDirectory_Map; 33 obj->size_bits = seL4_PUDBits; 34 obj [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_X86_PageTableObject; 24 obj->map_fn = seL4_X86_PageTable_Map; 27 obj->size_bits = seL4_PageDirBits; 28 obj->type = seL4_X86_PageDirectoryObject; 29 obj->map_fn = seL4_X86_PageDirectory_Map; 32 obj->size_bits = seL4_PDPTBits, 33 obj [all...] |
/seL4-refos-master/libs/libsel4vspace/src/arch/riscv/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 25 obj->size_bits = seL4_PageTableBits; 26 obj->type = seL4_RISCV_PageTableObject; 27 obj->map_fn = seL4_RISCV_PageTable_Map;
|
/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch32/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map;
|
/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/arm_hyp/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map;
|
/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/ia32/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_X86_PageTableObject; 24 obj->map_fn = seL4_X86_PageTable_Map;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/arch/riscv/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 25 obj->size_bits = seL4_PageTableBits; 26 obj->type = seL4_RISCV_PageTableObject; 27 obj->map_fn = seL4_RISCV_PageTable_Map;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch32/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/arm_hyp/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_ARM_PageTableObject; 24 obj->map_fn = seL4_ARM_PageTable_Map;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/ia32/ |
H A D | mapping.c | 15 int vspace_get_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) { argument 16 if (unlikely(obj == NULL)) { 22 obj->size_bits = seL4_PageTableBits; 23 obj->type = seL4_X86_PageTableObject; 24 obj->map_fn = seL4_X86_PageTable_Map;
|
/seL4-refos-master/libs/libmuslc/src/exit/arm/ |
H A D | __aeabi_atexit.c | 3 int __aeabi_atexit (void *obj, void (*func) (void *), void *d) argument 5 return __cxa_atexit (func, obj, d);
|
/seL4-refos-master/libs/libmuslc/src/exit/arm_sel4/ |
H A D | __aeabi_atexit.c | 3 int __aeabi_atexit (void *obj, void (*func) (void *), void *d) argument 5 return __cxa_atexit (func, obj, d);
|
/seL4-refos-master/libs/libsel4vspace/src/arch/x86/ |
H A D | mapping.c | 24 int vspace_get_iospace_map_obj(UNUSED seL4_Word failed_bits, vspace_map_obj_t *obj) argument 26 if (unlikely(obj == NULL) || !config_set(CONFIG_IOMMU)) { 30 obj->size_bits = seL4_IOPageTableBits; 31 obj->type = seL4_X86_IOPageTableObject; 32 obj->map_fn = vspace_map_io; 37 int vspace_get_ept_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) argument 42 obj->size_bits = seL4_X86_EPTPTBits; 43 obj->type = seL4_X86_EPTPTObject; 44 obj->map_fn = seL4_X86_EPTPT_Map; 47 obj [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/arch/x86/ |
H A D | mapping.c | 24 int vspace_get_iospace_map_obj(UNUSED seL4_Word failed_bits, vspace_map_obj_t *obj) argument 26 if (unlikely(obj == NULL) || !config_set(CONFIG_IOMMU)) { 30 obj->size_bits = seL4_IOPageTableBits; 31 obj->type = seL4_X86_IOPageTableObject; 32 obj->map_fn = vspace_map_io; 37 int vspace_get_ept_map_obj(seL4_Word failed_bits, vspace_map_obj_t *obj) argument 42 obj->size_bits = seL4_X86_EPTPTBits; 43 obj->type = seL4_X86_EPTPTObject; 44 obj->map_fn = seL4_X86_EPTPT_Map; 47 obj [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dothrow.c | 10 STATIC_DCL int FDECL(throw_obj, (struct obj *,int)); 12 STATIC_DCL int FDECL(gem_accept, (struct monst *, struct obj *)); 13 STATIC_DCL void FDECL(tmiss, (struct obj *, struct monst *)); 14 STATIC_DCL int FDECL(throw_gold, (struct obj *)); 15 STATIC_DCL void FDECL(check_shop_obj, (struct obj *,XCHAR_P,XCHAR_P,BOOLEAN_P)); 16 STATIC_DCL void FDECL(breakobj, (struct obj *,XCHAR_P,XCHAR_P,BOOLEAN_P,BOOLEAN_P)); 17 STATIC_DCL void FDECL(breakmsg, (struct obj *,BOOLEAN_P)); 18 STATIC_DCL boolean FDECL(toss_up,(struct obj *, BOOLEAN_P)); 19 STATIC_DCL boolean FDECL(throwing_weapon, (struct obj *)); 20 STATIC_DCL void FDECL(sho_obj_return_to_u, (struct obj *ob 190 register struct obj *obj; local 452 struct obj *obj; local [all...] |
H A D | mkobj.c | 8 STATIC_DCL void FDECL(mkbox_cnts,(struct obj *)); 9 STATIC_DCL void FDECL(obj_timer_checks,(struct obj *, XCHAR_P, XCHAR_P, int)); 11 STATIC_DCL void FDECL(container_weight, (struct obj *)); 12 STATIC_DCL struct obj *FDECL(save_mtraits, (struct obj *, struct monst *)); 15 STATIC_DCL void FDECL(check_contained, (struct obj *,const char *)); 19 extern struct obj *thrownobj; /* defined in dothrow.c */ 81 struct obj * 87 struct obj *otmp; 94 struct obj * 1511 struct obj *obj; local 1621 struct obj *obj; local [all...] |
H A D | invent.c | 12 STATIC_DCL boolean FDECL(mergable,(struct obj *,struct obj *)); 14 STATIC_DCL boolean FDECL(worn_wield_only, (struct obj *)); 15 STATIC_DCL boolean FDECL(only_here, (struct obj *)); 20 STATIC_PTR int FDECL(ckunpaid,(struct obj *)); 21 STATIC_PTR int FDECL(ckvalidcat,(struct obj *)); 24 STATIC_DCL boolean FDECL(this_type_only, (struct obj *)); 26 STATIC_DCL struct obj *FDECL(find_unpaid,(struct obj *,struct obj **)); 53 register struct obj *obj; local 161 register struct obj *otmp = *potmp, *obj = *pobj; local 668 register struct obj *obj = level.objects[x][y]; local 1523 struct obj *obj, *the_obj; local 1667 struct obj *obj; local 2635 register struct obj *obj; local 2648 struct obj *obj, *otmp; local [all...] |
H A D | detect.c | 15 STATIC_DCL void FDECL(do_dknown_of, (struct obj *)); 23 /* Recursively search obj for an object in class oclass and return 1st found */ 24 struct obj * 25 o_in(obj, oclass) 26 struct obj* obj; 29 register struct obj* otmp; 30 struct obj *temp; 32 if (obj->oclass == oclass) return obj; 166 register struct obj *obj; local 297 register struct obj *obj; local 411 register struct obj *obj, *otmp = (struct obj *)0; local 651 struct obj obj; /* fake object */ local 685 register struct obj *obj; local 1278 register struct obj *obj; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dothrow.c | 10 STATIC_DCL int FDECL(throw_obj, (struct obj *,int)); 12 STATIC_DCL int FDECL(gem_accept, (struct monst *, struct obj *)); 13 STATIC_DCL void FDECL(tmiss, (struct obj *, struct monst *)); 14 STATIC_DCL int FDECL(throw_gold, (struct obj *)); 15 STATIC_DCL void FDECL(check_shop_obj, (struct obj *,XCHAR_P,XCHAR_P,BOOLEAN_P)); 16 STATIC_DCL void FDECL(breakobj, (struct obj *,XCHAR_P,XCHAR_P,BOOLEAN_P,BOOLEAN_P)); 17 STATIC_DCL void FDECL(breakmsg, (struct obj *,BOOLEAN_P)); 18 STATIC_DCL boolean FDECL(toss_up,(struct obj *, BOOLEAN_P)); 19 STATIC_DCL boolean FDECL(throwing_weapon, (struct obj *)); 20 STATIC_DCL void FDECL(sho_obj_return_to_u, (struct obj *ob 190 register struct obj *obj; local 452 struct obj *obj; local [all...] |
H A D | mkobj.c | 8 STATIC_DCL void FDECL(mkbox_cnts,(struct obj *)); 9 STATIC_DCL void FDECL(obj_timer_checks,(struct obj *, XCHAR_P, XCHAR_P, int)); 11 STATIC_DCL void FDECL(container_weight, (struct obj *)); 12 STATIC_DCL struct obj *FDECL(save_mtraits, (struct obj *, struct monst *)); 15 STATIC_DCL void FDECL(check_contained, (struct obj *,const char *)); 19 extern struct obj *thrownobj; /* defined in dothrow.c */ 81 struct obj * 87 struct obj *otmp; 94 struct obj * 1511 struct obj *obj; local 1621 struct obj *obj; local [all...] |
H A D | invent.c | 12 STATIC_DCL boolean FDECL(mergable,(struct obj *,struct obj *)); 14 STATIC_DCL boolean FDECL(worn_wield_only, (struct obj *)); 15 STATIC_DCL boolean FDECL(only_here, (struct obj *)); 20 STATIC_PTR int FDECL(ckunpaid,(struct obj *)); 21 STATIC_PTR int FDECL(ckvalidcat,(struct obj *)); 24 STATIC_DCL boolean FDECL(this_type_only, (struct obj *)); 26 STATIC_DCL struct obj *FDECL(find_unpaid,(struct obj *,struct obj **)); 53 register struct obj *obj; local 161 register struct obj *otmp = *potmp, *obj = *pobj; local 668 register struct obj *obj = level.objects[x][y]; local 1523 struct obj *obj, *the_obj; local 1667 struct obj *obj; local 2635 register struct obj *obj; local 2648 struct obj *obj, *otmp; local [all...] |
/seL4-refos-master/libs/libsel4vspace/src/arch/arm/ |
H A D | mapping.c | 23 int vspace_get_iospace_map_obj(UNUSED seL4_Word failed_bits, vspace_map_obj_t *obj) argument 25 if (unlikely(obj == NULL) || !config_set(CONFIG_TK1_SMMU)) { 29 obj->size_bits = seL4_IOPageTableBits; 30 obj->type = seL4_ARM_IOPageTableObject; 31 obj->map_fn = vspace_map_io;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/arch/arm/ |
H A D | mapping.c | 23 int vspace_get_iospace_map_obj(UNUSED seL4_Word failed_bits, vspace_map_obj_t *obj) argument 25 if (unlikely(obj == NULL) || !config_set(CONFIG_TK1_SMMU)) { 29 obj->size_bits = seL4_IOPageTableBits; 30 obj->type = seL4_ARM_IOPageTableObject; 31 obj->map_fn = vspace_map_io;
|