/seL4-refos-master/libs/libmuslc/arch/i386/ |
H A D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 struct pthread *self; local 8 : "=r"(self)); 9 return self;
|
/seL4-refos-master/libs/libmuslc/arch/x86_64/ |
H A D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 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 D | pthread_setspecific.c | 5 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 D | tss_set.c | 6 struct pthread *self = __pthread_self(); local 8 if (self->tsd[k] != x) { 9 self->tsd[k] = x; 10 self->tsd_used = 1;
|
H A D | pthread_setcancelstate.c | 6 struct pthread *self = __pthread_self(); local 7 if (old) *old = self->canceldisable; 8 self->canceldisable = new;
|
H A D | pthread_setcanceltype.c | 5 struct pthread *self = __pthread_self(); local 7 if (old) *old = self->cancelasync; 8 self->cancelasync = new;
|
H A D | pthread_getspecific.c | 6 struct pthread *self = __pthread_self(); local 7 return self->tsd[k];
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | memory.py | 16 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 D | fdt.py | 17 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 D | config.py | 12 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 D | device.py | 21 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 D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 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 D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) ); 5 return self;
|
/seL4-refos-master/kernel/tools/ |
H A D | lex.py | 77 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 D | rule.py | 40 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 D | virtual_device.c | 51 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 D | virtual_pci.c | 23 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 D | dlerror.c | 9 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 D | uselocale.c | 7 pthread_t self = __pthread_self(); local 8 locale_t old = self->locale; 11 if (new) self->locale = new == LC_GLOBAL_LOCALE ? global : new;
|