Home
last modified time | relevance | path

Searched refs:l4_uint64_t (Results 1 – 25 of 29) sorted by relevance

12

/l4re-core-master/l4sys/include/
A D__vm-svm.h89 l4_uint64_t base;
115 l4_uint64_t efer;
119 l4_uint64_t cr4;
120 l4_uint64_t cr3;
121 l4_uint64_t cr0;
122 l4_uint64_t dr7;
123 l4_uint64_t dr6;
125 l4_uint64_t rip;
129 l4_uint64_t rsp;
133 l4_uint64_t rax;
[all …]
A D__vm-vmx.h80 l4_uint64_t
261 l4_uint64_t
274 l4_uint64_t
335 l4_vm_vmx_write(void *vmcs, unsigned field, l4_uint64_t val) L4_NOTHROW;
475 l4_uint64_t
477 { return *(l4_uint64_t*)(l4_vm_vmx_field_ptr(vmcs, field)); } in l4_vm_vmx_read_64()
480 l4_uint64_t
511 { *(l4_uint64_t*)(l4_vm_vmx_field_ptr(vmcs, field)) = val; } in l4_vm_vmx_write_64()
516 l4_vm_vmx_write(void *vmcs, unsigned field, l4_uint64_t val) L4_NOTHROW in l4_vm_vmx_write()
528 l4_uint64_t
[all …]
A D__vcpu-arm.h92 L4_INLINE l4_uint64_t
95 L4_INLINE l4_uint64_t
97 { return *(l4_uint64_t const *)l4_vcpu_e_ptr(vcpu, id); } in l4_vcpu_e_read_64()
107 l4_vcpu_e_write_64(void *vcpu, unsigned id, l4_uint64_t val) L4_NOTHROW;
110 l4_vcpu_e_write_64(void *vcpu, unsigned id, l4_uint64_t val) L4_NOTHROW in l4_vcpu_e_write_64()
111 { *((l4_uint64_t *)l4_vcpu_e_ptr(vcpu, id)) = val; } in l4_vcpu_e_write_64()
A Dl4int.h42 typedef unsigned long long l4_uint64_t; /**< Unsigned 64bit value. \ingroup l4_basic_types */ typedef
58 typedef l4_uint64_t l4_cpu_time_t;
64 typedef l4_uint64_t l4_kernel_clock_t;
A Dkip.h169 L4_INLINE l4_uint64_t
194 typedef l4_uint64_t (*kip_time_fn_read_us)(void); in l4_kip_clock()
203 typedef l4_uint64_t (*kip_time_fn_read_ns)(void); in l4_kip_clock_ns()
A Dicu.h183 l4_uint64_t msi_addr;
291 l4_icu_msi_info(l4_cap_idx_t icu, unsigned irqnum, l4_uint64_t source,
301 l4_icu_msi_info_u(l4_cap_idx_t icu, unsigned irqnum, l4_uint64_t source,
408 l4_icu_msi_info_u(l4_cap_idx_t icu, unsigned irqnum, l4_uint64_t source, in l4_icu_msi_info_u()
417 2 + 1 * sizeof(l4_uint64_t) in l4_icu_msi_info_u()
482 l4_icu_msi_info(l4_cap_idx_t icu, unsigned irqnum, l4_uint64_t source, in l4_icu_msi_info()
A D__kip-64bit.h39 l4_uint64_t magic; /**< Kernel Info Page
42 l4_uint64_t version; ///< Kernel version
A Dutcb.h81 …l4_uint64_t mr64[L4_UTCB_GENERIC_DATA_SIZE / (sizeof(l4_uint64_t)/sizeof(l4_umword_t))]; /**< Mess…
387 { return idx / (sizeof(l4_uint64_t) / sizeof(l4_umword_t)); } in l4_utcb_mr64_idx()
A Dkdebug.h160 if (sizeof(l4_umword_t) == sizeof(l4_uint64_t)) in outumword()
161 __kdebug_op_1(L4_KDEBUG_OUTHEX32, (l4_uint64_t)number >> 32); in outumword()
166 L4_INLINE void outhex64(l4_uint64_t number) in outhex64()
A Diommu30 l4_msgtag_t, bind, (l4_uint64_t src_id, Ipc::Cap<Task> dma_space));
42 l4_msgtag_t, unbind, (l4_uint64_t src_id, Ipc::Cap<Task> dma_space));
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h69 L4_INLINE l4_uint64_t
84 L4_INLINE l4_uint64_t
91 L4_INLINE l4_uint64_t
206 L4_INLINE l4_uint64_t
210 l4_uint64_t dummy; in l4_rdpmc()
232 l4_uint64_t dummy; in l4_rdpmc_32()
261 L4_INLINE l4_uint64_t
264 l4_uint64_t ns, dummy; in l4_tsc_to_ns()
275 L4_INLINE l4_uint64_t
278 l4_uint64_t ns, dummy; in l4_tsc_to_us()
[all …]
A Didt.h35 l4_uint64_t a, b; /**< see Intel doc */
55 idt->desc[nr].a = (l4_uint64_t)handler & 0x0000ffff; in l4util_idt_entry()
56 idt->desc[nr].b = 0x0000ef00 | ((l4_uint64_t)handler & 0xffff0000); in l4util_idt_entry()
/l4re-core-master/l4util/include/
A Dl4mod.h23 l4_uint64_t flags; /**< Module flags (\c l4util_l4mod_mod_info_flag) */
24 l4_uint64_t mod_start; /**< Starting address of module in memory. */
25 l4_uint64_t mod_end; /**< End address of module in memory. */
26 l4_uint64_t cmdline; /**< Module command line */
32 l4_uint64_t flags; /**< Flags */
33 l4_uint64_t cmdline; /**< Pointer to kernel command line */
34 l4_uint64_t mods_addr; /**< Module list */
42 l4_uint64_t vbe_ctrl_info; /**< VESA video controller info */
43 l4_uint64_t vbe_mode_info; /**< VESA video mode info */
A Dmb_info.h52 l4_uint64_t addr; /**< Start address */
53 l4_uint64_t size; /**< Size of memory range */
366 l4_uint64_t base_addr;
367 l4_uint64_t length;
A Datomic.h50 l4util_cmpxchg64(volatile l4_uint64_t * dest,
51 l4_uint64_t cmp_val, l4_uint64_t new_val);
335 l4util_cmpxchg64(volatile l4_uint64_t * dest, in l4util_cmpxchg64()
336 l4_uint64_t cmp_val, l4_uint64_t new_val) in l4util_cmpxchg64()
A Delf.h52 typedef l4_uint64_t Elf64_Addr; /**< size 8 align 8 \ingroup l4util_elf*/
53 typedef l4_uint64_t Elf64_Off; /**< size 8 align 8 \ingroup l4util_elf*/
57 typedef l4_uint64_t Elf64_Xword; /**< size 8 align 8 \ingroup l4util_elf*/
/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h71 L4_INLINE l4_uint64_t
86 L4_INLINE l4_uint64_t
93 L4_INLINE l4_uint64_t
110 l4_ns_to_tsc (l4_uint64_t ns);
118 l4_busy_wait_ns (l4_uint64_t ns);
221 L4_INLINE l4_uint64_t
252 L4_INLINE l4_uint64_t
256 l4_uint64_t ns; in l4_tsc_to_ns()
276 L4_INLINE l4_uint64_t
280 l4_uint64_t us; in l4_tsc_to_us()
[all …]
/l4re-core-master/l4re_c/include/
A Ddataspace.h40 typedef l4_uint64_t l4re_ds_size_t;
41 typedef l4_uint64_t l4re_ds_offset_t;
42 typedef l4_uint64_t l4re_ds_map_addr_t;
A Ddma_space.h62 typedef l4_uint64_t l4re_dma_space_dma_addr_t;
/l4re-core-master/l4util/include/ARCH-ppc32/
A Drdtsc.h64 L4_INLINE l4_uint64_t
155 L4_INLINE l4_uint64_t
/l4re-core-master/l4re/include/
A Dmmio_space55 typedef l4_uint64_t Addr;
71 L4_INLINE_RPC(long, mmio_read, (Addr addr, char width, l4_uint64_t *value));
87 L4_INLINE_RPC(long, mmio_write, (Addr addr, char width, l4_uint64_t value));
/l4re-core-master/l4re/util/include/
A Dicu_svr48 l4_uint64_t source, l4_icu_msi_info_t &info);
94 l4_uint64_t source, l4_icu_msi_info_t &info)
151 int msi_info(l4_uint64_t, l4_icu_msi_info_t *) const
/l4re-core-master/moe/server/src/
A Dlog.h52 int op_msi_info(L4::Icu::Rights, l4_umword_t, l4_uint64_t, in op_msi_info() argument
/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c76 l4_uint64_t tsc_start, tsc_end; in l4_tsc_init()
/l4re-core-master/l4sys/include/ARCH-mips/
A Dvm.h338 l4_uint64_t saved_cause_timestamp;

Completed in 46 milliseconds

12