Lines Matching refs:kip
40 * \includefile{l4/sys/kip}
51 * \includefile{l4/sys/kip}
83 static unsigned long &memory_info(void *kip) noexcept
84 { return *((unsigned long *)kip + 21); }
86 static unsigned long memory_info(void const *kip) noexcept
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
100 + (memory_info(kip) >> ((sizeof(unsigned long) / 2) * 8)));
103 static Mem_desc const *first(void const *kip) noexcept
105 return (Mem_desc const *)((char const *)kip
106 + (memory_info(kip) >> ((sizeof(unsigned long) / 2) * 8)));
112 * \param kip Pointer to the kernel info page
116 static unsigned long count(void const *kip) noexcept
118 return memory_info(kip)
125 * \param kip Pointer to the kernel info page
128 static void count(void *kip, unsigned count) noexcept
130 unsigned long &mi = memory_info(kip);
137 * \param kip Pointer to the kernel info page.
139 static inline cxx::static_vector<Mem_desc const> all(void const *kip)
141 return cxx::static_vector<Mem_desc const>(Mem_desc::first(kip),
142 Mem_desc::count(kip));
148 * \param kip Pointer to the kernel info page.
150 static inline cxx::static_vector<Mem_desc> all(void *kip)
152 return cxx::static_vector<Mem_desc>(Mem_desc::first(kip),
153 Mem_desc::count(kip));