/l4re-core-master/l4sys/include/ |
A D | kip.h | 121 l4_kernel_info_version_offset(l4_kernel_info_t *kip) L4_NOTHROW; 141 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW; 154 l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW; 170 l4_kip_clock_ns(l4_kernel_info_t *kip) L4_NOTHROW; 179 l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_version() argument 180 { return kip->version & L4_KIP_VERSION_FIASCO_MASK; } in l4_kip_version() 188 { return kip->offset_version_strings << 4; } in l4_kernel_info_version_offset() 191 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock() argument 201 l4_kip_clock_ns(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_ns() argument 210 l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_lw() argument [all …]
|
A D | kip | 40 * \includefile{l4/sys/kip} 51 * \includefile{l4/sys/kip} 84 { return *((unsigned long *)kip + 21); } 87 { return *((unsigned long const *)kip + 21); } 93 * \param kip Pointer to the kernel info page 97 static Mem_desc *first(void *kip) noexcept 99 return (Mem_desc *)((char *)kip 105 return (Mem_desc const *)((char const *)kip 112 * \param kip Pointer to the kernel info page 118 return memory_info(kip) [all …]
|
A D | memdesc.h | 89 l4_kernel_info_get_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW; 99 l4_kernel_info_get_num_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW; 180 l4_kernel_info_get_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_get_mem_descs() argument 182 return (l4_kernel_info_mem_desc_t *)(((l4_addr_t)kip) in l4_kernel_info_get_mem_descs() 183 + (kip->mem_info >> (sizeof(l4_umword_t) * 4))); in l4_kernel_info_get_mem_descs() 188 l4_kernel_info_get_num_mem_descs(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_get_num_mem_descs() argument 190 return kip->mem_info & ((1UL << (sizeof(l4_umword_t)*4)) -1); in l4_kernel_info_get_num_mem_descs()
|
A D | vhw.h | 85 l4_vhw_get(l4_kernel_info_t *kip) L4_NOTHROW in l4_vhw_get() argument 88 = (struct l4_vhw_descriptor *)(((unsigned long)kip) + kip->vhw_offset); in l4_vhw_get()
|
A D | Makefile | 5 EXTRA_TARGET += capability kip task factory irq icu thread vcon \
|
/l4re-core-master/l4util/lib/src/ARCH-x86/ |
A D | rdtsc.c | 41 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init() argument 52 if (kip) in l4_tsc_init() 54 if (kip->frequency_cpu in l4_tsc_init() 55 && kip->frequency_cpu < 50000000 /* sanity check*/) in l4_tsc_init() 57 l4_scaler_tsc_linux = muldiv(1U<<30, 4000, kip->frequency_cpu); in l4_tsc_init() 58 l4_scaler_ns_to_tsc = muldiv(1U<<27, kip->frequency_cpu, 1000000); in l4_tsc_init()
|
/l4re-core-master/l4util/lib/src/ARCH-ppc32/ |
A D | rdtsc.c | 15 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init() argument 18 l4_scaler_timer_to_tsc = (kip->frequency_cpu * 1000) in l4_tsc_init() 19 / (kip->frequency_bus / 4); in l4_tsc_init() 20 l4_scaler_tsc_to_us = (kip->frequency_cpu) / 1000; in l4_tsc_init()
|
/l4re-core-master/l4util/include/ARCH-ppc32/ |
A D | rdtsc.h | 78 l4_calibrate_tsc (l4_kernel_info_t *kip); 106 l4_tsc_init (int constraint, l4_kernel_info_t *kip); 114 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() argument 116 return l4_tsc_init(0, kip); in l4_calibrate_tsc()
|
/l4re-core-master/l4util/include/ARCH-x86/ |
A D | rdtsc.h | 139 l4_calibrate_tsc (l4_kernel_info_t *kip); 167 l4_tsc_init (int constraint, l4_kernel_info_t *kip); 183 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() argument 185 return l4_tsc_init(L4_TSC_INIT_AUTO, kip); in l4_calibrate_tsc()
|
/l4re-core-master/l4util/include/ARCH-amd64/ |
A D | rdtsc.h | 137 l4_calibrate_tsc (l4_kernel_info_t *kip); 165 l4_tsc_init (int constraint, l4_kernel_info_t *kip); 181 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() argument 183 return l4_tsc_init(L4_TSC_INIT_AUTO, kip); in l4_calibrate_tsc()
|
/l4re-core-master/libloader/include/ |
A D | local_app_model | 29 if (Base::prog_info()->kip == l4_addr_t(__L4_KIP_ADDR__)) 31 Base::prog_attach_ds(Base::prog_info()->kip, L4_PAGESIZE,
|
A D | remote_app_model | 118 this->prog_attach_ds(this->prog_info()->kip, L4_PAGESIZE,
|
A D | elf | 534 Phdr_l4re_elf_aux_infos<App_model> stack_info(mm, bin, mm->prog_info()->kip); 538 mm->prog_info()->kip = stack_info.kip_addr;
|
/l4re-core-master/moe/server/src/ |
A D | main.cc | 84 boot.printf("KIP @%p\n", kip()); in map_kip() 85 return kip(); in map_kip() 91 l4util_l4mod_info const *_mbi_ = (l4util_l4mod_info const *)kip()->user_ptr; in my_cmdline() 153 for (auto const &md: L4::Kip::Mem_desc::all(kip())) in find_memory() 209 for (auto const &m: L4::Kip::Mem_desc::all(kip())) in init_virt_limits() 235 kip_ds = new Moe::Dataspace_static(const_cast<l4_kernel_info_t *>(kip()), in init_kip_ds() 552 init_vesa_fb((l4util_l4mod_info *)kip()->user_ptr); in main()
|
A D | globals.h | 21 inline l4_kernel_info_t const *kip() { return _current_kip; } in kip() function
|
A D | boot_fs.cc | 86 l4util_l4mod_info const *mbi = (l4util_l4mod_info const *)kip()->user_ptr; in init_stage1() 170 l4util_l4mod_info const *mbi = (l4util_l4mod_info const *)kip()->user_ptr; in init_stage2()
|
A D | region.cc | 25 for (auto const &m: L4::Kip::Mem_desc::all(kip())) in Region_map()
|
A D | loader.cc | 185 _info.kip = (l4_addr_t)__L4_KIP_ADDR__; in Moe_app_model()
|
/l4re-core-master/libsigma0/lib/src/ |
A D | Makefile | 5 SRC_C = mem.c anypage.c kip.c debug.c client.c
|
/l4re-core-master/ldscripts/ |
A D | generic.h | 8 kip 0x60000013 AT (__L4_KIP_ADDR__); \
|
/l4re-core-master/l4util/doc/ |
A D | l4util.dox | 12 - \ref kip
|
/l4re-core-master/ldso/ldso/ |
A D | arm64.ld | 16 kip 0x60000013; 169 .kip ALIGN( CONSTANT(COMMONPAGESIZE) ) : 173 } :kip
|
/l4re-core-master/l4util/lib/src/ |
A D | Makefile | 13 base64.c kprintf.c kip.c keymap.c \
|
/l4re-core-master/l4re/util/include/ |
A D | poll_timeout_kipclock | 12 #include <l4/sys/kip.h>
|
/l4re-core-master/ned/server/src/ |
A D | app_model.cc | 107 _info.kip = (l4_addr_t)__L4_KIP_ADDR__; in App_model()
|