Home
last modified time | relevance | path

Searched defs:fpage (Results 1 – 13 of 13) sorted by relevance

/l4re-core-master/l4re/util/libs/
A Ddataspace_svr.cc97 l4_fpage_t fpage = l4_fpage(map_base, order, flags.fpage_rights()); in map() local
/l4re-core-master/l4sys/include/
A Dtask.h295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u()
357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap()
A D__l4_fpage.h84 l4_umword_t fpage; ///< Raw value member
102 l4_fpage_t fpage; ///< Source flex-page descriptor member
687 l4_fpage_contains(l4_fpage_t fpage, l4_addr_t addr, unsigned log2size) L4_NOTHROW in l4_fpage_contains()
/l4re-core-master/ned/server/src/
A Dlua_cap.h58 l4_fpage_t fpage() const in fpage() function
/l4re-core-master/moe/server/src/
A Ddataspace.h43 l4_fpage_t fpage; member
A Ddma_space.cc226 L4::Ipc::Snd_fpage fpage; in map() local
/l4re-core-master/l4sys/include/ARCH-mips/
A Dktrace_events.h123 L4_ktrace_t__Mword fpage; /* 64+8 */ member
352 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-arm/
A Dktrace_events.h121 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-ppc32/
A Dktrace_events.h111 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-sparc/
A Dktrace_events.h111 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-amd64/
A Dktrace_events.h123 L4_ktrace_t__Mword fpage; /* 64+8 */ member
/l4re-core-master/l4sys/include/ARCH-arm64/
A Dktrace_events.h122 L4_ktrace_t__Mword fpage; /* 64+8 */ member
/l4re-core-master/l4sys/include/ARCH-x86/
A Dktrace_events.h122 L4_ktrace_t__Mword fpage; /* 44+4 */ member

Completed in 24 milliseconds