Searched refs:obj (Results 1 - 25 of 283) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch64/
H A Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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 Dmapping.c15 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.c3 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.c3 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 Dmapping.c24 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 Dmapping.c24 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 Ddothrow.c10 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 Dmkobj.c8 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 Dinvent.c12 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 Ddetect.c15 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 Ddothrow.c10 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 Dmkobj.c8 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 Dinvent.c12 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 Dmapping.c23 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 Dmapping.c23 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;

Completed in 64 milliseconds

1234567891011>>