Searched refs:self (Results 1 - 25 of 64) sorted by relevance

123

/seL4-refos-master/libs/libmuslc/arch/i386/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) );
5 return self;
/seL4-refos-master/libs/libmuslc/arch/i386_sel4/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) );
5 return self;
/seL4-refos-master/libs/libmuslc/arch/microblaze/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("ori %0, r21, 0" : "=r" (self) );
5 return self;
/seL4-refos-master/libs/libmuslc/arch/s390x/
H A Dpthread_arch.h3 struct pthread *self; local
8 : "=r"(self));
9 return self;
/seL4-refos-master/libs/libmuslc/arch/x86_64/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) );
5 return self;
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) );
5 return self;
/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_setspecific.c5 struct pthread *self = __pthread_self(); local
7 if (self->tsd[k] != x) {
8 self->tsd[k] = (void *)x;
9 self->tsd_used = 1;
H A Dtss_set.c6 struct pthread *self = __pthread_self(); local
8 if (self->tsd[k] != x) {
9 self->tsd[k] = x;
10 self->tsd_used = 1;
H A Dpthread_setcancelstate.c6 struct pthread *self = __pthread_self(); local
7 if (old) *old = self->canceldisable;
8 self->canceldisable = new;
H A Dpthread_setcanceltype.c5 struct pthread *self = __pthread_self(); local
7 if (old) *old = self->cancelasync;
8 self->cancelasync = new;
H A Dpthread_getspecific.c6 struct pthread *self = __pthread_self(); local
7 return self->tsd[k];
/seL4-refos-master/kernel/tools/hardware/
H A Dmemory.py16 def __init__(self, base: int, size: int, owner: 'WrappedNode'):
17 self.base = base
18 self.size = size
19 self.owner = owner
26 def __repr__(self):
27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size)
29 def __eq__(self, other):
30 return self.base == other.base and self
[all...]
H A Dfdt.py17 def __init__(self, dtb_file: IO[bytes]):
18 self.fdt = pyfdt.pyfdt.FdtBlobParse(dtb_file).to_fdt()
19 self.wrapped_root: WrappedNode
20 self.by_phandle: Dict[int, WrappedNode] = {}
21 self.by_path: Dict[str, WrappedNode] = {}
22 self.irq_controllers: Dict[int, IrqController] = {}
24 self._walk()
26 def _walk(self):
28 root = self.fdt.get_rootnode()
29 self
[all...]
H A Dconfig.py12 def __init__(self, addrspace_max):
13 self.addrspace_max = addrspace_max
15 def get_kernel_phys_align(self) -> int:
19 def get_bootloader_reserve(self) -> int:
24 def get_page_bits(self) -> int:
28 def get_device_page_bits(self) -> int:
30 return self.get_page_bits()
38 def get_kernel_phys_align(self) -> int:
40 return self.SUPERSECTION_BITS
48 def get_bootloader_reserve(self)
[all...]
H A Ddevice.py21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str):
22 self.node = node
23 self.parent = parent
24 self.depth = 0
25 self.path = path
26 self.children: Dict[str, 'WrappedNode'] = OrderedDict()
27 self.props: Dict[str, pyfdt.pyfdt.FdtProperty] = {}
31 self.props[prop.get_name()] = prop
34 parent.add_child(self)
35 self
[all...]
/seL4-refos-master/libs/libmuslc/arch/aarch64/
H A Dpthread_arch.h3 char *self; local
4 __asm__ __volatile__ ("mrs %0,tpidr_el0" : "=r"(self));
5 return (void*)(self + 16 - sizeof(struct pthread));
/seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/
H A Dpthread_arch.h3 char *self; local
4 __asm__ __volatile__ ("mrs %0,tpidr_el0" : "=r"(self));
5 return (void*)(self + 16 - sizeof(struct pthread));
/seL4-refos-master/libs/libmuslc/arch/sh/
H A Dpthread_arch.h3 char *self; local
4 __asm__ __volatile__ ("stc gbr,%0" : "=r" (self) );
5 return (struct pthread *) (self + 8 - sizeof(struct pthread));
/seL4-refos-master/libs/libmuslc/arch/x32/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) );
5 return self;
/seL4-refos-master/kernel/tools/
H A Dlex.py77 def __init__(self, message, s):
78 self.args = (message,)
79 self.text = s
85 def __str__(self):
86 return "LexToken(%s,%r,%d,%d)" % (self.type, self.value, self.lineno, self.lexpos)
88 def __repr__(self):
89 return str(self)
[all...]
/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py40 def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macro: str = None, user_ok: bool = False):
41 self.macro = condition_macro
42 self.desc = region.owner.path
43 self.kernel_offset = -1
44 self.page_bits = page_bits
45 self.labels = {} # dict of label => offset within region.
46 self.user_ok = user_ok
50 self.size = aligned.size
51 self.base = aligned.base
52 self
[all...]
/seL4-refos-master/projects/util_libs/libpci/src/
H A Dvirtual_device.c51 void libpci_vdevice_enable(libpci_vdevice_t* self, uint8_t bus, uint8_t dev, uint8_t fun, argument
53 assert(self);
54 self->location_bus = bus;
55 self->location_dev = dev;
56 self->location_fun = fun;
57 self->physical_device_passthrough = pdevice_passthrough;
58 self->enabled = true;
61 void libpci_vdevice_disable(libpci_vdevice_t* self) { argument
62 assert(self);
63 self
66 libpci_vdevice_match(libpci_vdevice_t* self, uint8_t bus, uint8_t dev, uint8_t fun) argument
77 libpci_vdevice_set_mode(libpci_vdevice_t* self, int offset, libpci_vdevice_mode_t m) argument
90 libpci_vdevice_rebase_addr_realdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, libpci_device_t* dev) argument
111 libpci_vdevice_rebase_ioaddr_realdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, libpci_device_t* dev) argument
124 libpci_vdevice_rebase_addr_virtdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, uint32_t size_mask, bool prefetch, bool LWord64) argument
160 libpci_vdevice_rebase_ioaddr_virtdevice(libpci_vdevice_t* self, int base_addr_index, uint32_t base_addr, uint32_t size_mask) argument
191 libpci_vdevice_ioread(libpci_vdevice_t* self, int offset, int size) argument
252 libpci_vdevice_iowrite(libpci_vdevice_t* self, int offset, int size, uint32_t val) argument
[all...]
H A Dvirtual_pci.c23 bool libpci_virtual_pci_device_allow(libpci_virtual_pci_t* self, libpci_device_t *device) { argument
24 assert(self);
33 assert(self->num_allowed_devices + 1 < PCI_MAX_VDEVICES);
34 libpci_passthrough_vdevice_t *vd = &self->allowed_devices[self->num_allowed_devices];
38 self->num_allowed_devices++;
42 bool libpci_virtual_pci_device_allow_id(libpci_virtual_pci_t* self, uint16_t vendor_id, uint16_t device_id) { argument
46 bool ret = libpci_virtual_pci_device_allow(self, matched_devices[i]);
52 bool libpci_virtual_pci_device_disallow(libpci_virtual_pci_t* self, const libpci_device_t *device) { argument
53 assert(self
66 libpci_virtual_pci_device_device_check(libpci_virtual_pci_t* self, uint8_t bus, uint8_t dev, uint8_t fun) argument
83 libpci_virtual_pci_vdevice_assign(libpci_virtual_pci_t* self) argument
90 libpci_virtual_pci_vdevice_resign(libpci_virtual_pci_t* self, libpci_vdevice_t* vdev) argument
97 libpci_virtual_pci_vdevice_check(libpci_virtual_pci_t* self, uint8_t bus, uint8_t dev, uint8_t fun) argument
109 libpci_virtual_pci_ioread(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t* val, uint32_t size) argument
153 libpci_virtual_pci_iowrite(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t val, uint32_t size) argument
[all...]
/seL4-refos-master/libs/libmuslc/src/ldso/
H A Ddlerror.c9 pthread_t self = __pthread_self(); local
10 if (!self->dlerror_flag) return 0;
11 self->dlerror_flag = 0;
12 char *s = self->dlerror_buf;
21 pthread_t self = __pthread_self(); local
22 if (self->dlerror_buf != (void *)-1)
23 free(self->dlerror_buf);
31 pthread_t self = __pthread_self(); local
32 if (self->dlerror_buf != (void *)-1)
33 free(self
[all...]
/seL4-refos-master/libs/libmuslc/src/locale/
H A Duselocale.c7 pthread_t self = __pthread_self(); local
8 locale_t old = self->locale;
11 if (new) self->locale = new == LC_GLOBAL_LOCALE ? global : new;

Completed in 152 milliseconds

123