Home
last modified time | relevance | path

Searched refs:kip (Results 1 – 25 of 26) sorted by relevance

12

/l4re-core-master/l4sys/include/
A Dkip.h121 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 Dkip40 * \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 Dmemdesc.h89 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 Dvhw.h85 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 DMakefile5 EXTRA_TARGET += capability kip task factory irq icu thread vcon \
/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c41 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 Drdtsc.c15 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 Drdtsc.h78 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 Drdtsc.h139 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 Drdtsc.h137 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 Dlocal_app_model29 if (Base::prog_info()->kip == l4_addr_t(__L4_KIP_ADDR__))
31 Base::prog_attach_ds(Base::prog_info()->kip, L4_PAGESIZE,
A Dremote_app_model118 this->prog_attach_ds(this->prog_info()->kip, L4_PAGESIZE,
A Delf534 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 Dmain.cc84 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 Dglobals.h21 inline l4_kernel_info_t const *kip() { return _current_kip; } in kip() function
A Dboot_fs.cc86 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 Dregion.cc25 for (auto const &m: L4::Kip::Mem_desc::all(kip())) in Region_map()
A Dloader.cc185 _info.kip = (l4_addr_t)__L4_KIP_ADDR__; in Moe_app_model()
/l4re-core-master/libsigma0/lib/src/
A DMakefile5 SRC_C = mem.c anypage.c kip.c debug.c client.c
/l4re-core-master/ldscripts/
A Dgeneric.h8 kip 0x60000013 AT (__L4_KIP_ADDR__); \
/l4re-core-master/l4util/doc/
A Dl4util.dox12 - \ref kip
/l4re-core-master/ldso/ldso/
A Darm64.ld16 kip 0x60000013;
169 .kip ALIGN( CONSTANT(COMMONPAGESIZE) ) :
173 } :kip
/l4re-core-master/l4util/lib/src/
A DMakefile13 base64.c kprintf.c kip.c keymap.c \
/l4re-core-master/l4re/util/include/
A Dpoll_timeout_kipclock12 #include <l4/sys/kip.h>
/l4re-core-master/ned/server/src/
A Dapp_model.cc107 _info.kip = (l4_addr_t)__L4_KIP_ADDR__; in App_model()

Completed in 20 milliseconds

12