Lines Matching defs:ip
215 uint32_t *ip = (uint32_t *) scp;
221 i++, ip++)
222 kprintf("%p: 0x%08x\n", ip, *ip);
258 uint64_t *ip = (uint64_t *) sp;
264 i++, ip++)
265 kprintf("%p: 0x%016llx\n", ip, *ip);
305 uint32_t *ip = (uint32_t *) gdtp;
308 for (i = 0; i < GDTSZ; i++, ip += 2) {
309 kprintf("%p: 0x%08x\n", ip+0, *(ip+0));
310 kprintf("%p: 0x%08x\n", ip+1, *(ip+1));
318 uint32_t *ip = (uint32_t *) ldtp;
321 for (i = 0; i < LDTSZ_MIN; i++, ip += 2) {
322 kprintf("%p: 0x%08x\n", ip+0, *(ip+0));
323 kprintf("%p: 0x%08x\n", ip+1, *(ip+1));
331 uint32_t *ip = (uint32_t *) idtp;
334 for (i = 0; i < 16; i++, ip += 4) {
335 kprintf("%p: 0x%08x\n", ip+0, *(ip+0));
336 kprintf("%p: 0x%08x\n", ip+1, *(ip+1));
337 kprintf("%p: 0x%08x\n", ip+2, *(ip+2));
338 kprintf("%p: 0x%08x\n", ip+3, *(ip+3));
346 uint32_t *ip = (uint32_t *) tssp;
349 for (i = 0; i < sizeof(master_ktss64)/sizeof(uint32_t); i++, ip++) {
350 kprintf("%p: 0x%08x\n", ip+0, *(ip+0));