| /src/external/gpl3/gdb/dist/sim/ppc/ |
| hw_htab.c | 254 uint32_t vpage = INSERTED32(EXTRACTED64(vpn, 24, 39), 0, 15); local
256 ^ EXTRACTED32(vpage, 0, 15),
281 && curr_api == MASKED32(vpage, 0, 5))
282 device_error(me, "duplicate map - va=0x%08lx ra=0x%lx vsid=0x%lx h=%d vpage=0x%lx hash=0x%lx pteg=0x%lx+%2d pte0=0x%lx",
287 (unsigned long)vpage,
298 | INSERTED32(EXTRACTED32(vpage, 0, 5), 26, 31));
317 DTRACE(htab, ("map - va=0x%08lx ra=0x%lx vsid=0x%lx h=%d vpage=0x%lx hash=0x%lx pteg=0x%lx+%2d pte0=0x%lx pte1=0x%lx\n",
322 (unsigned long)vpage,
|
| /src/external/gpl3/gdb.old/dist/sim/ppc/ |
| hw_htab.c | 254 uint32_t vpage = INSERTED32(EXTRACTED64(vpn, 24, 39), 0, 15); local
256 ^ EXTRACTED32(vpage, 0, 15),
281 && curr_api == MASKED32(vpage, 0, 5))
282 device_error(me, "duplicate map - va=0x%08lx ra=0x%lx vsid=0x%lx h=%d vpage=0x%lx hash=0x%lx pteg=0x%lx+%2d pte0=0x%lx",
287 (unsigned long)vpage,
298 | INSERTED32(EXTRACTED32(vpage, 0, 5), 26, 31));
317 DTRACE(htab, ("map - va=0x%08lx ra=0x%lx vsid=0x%lx h=%d vpage=0x%lx hash=0x%lx pteg=0x%lx+%2d pte0=0x%lx pte1=0x%lx\n",
322 (unsigned long)vpage,
|
| /src/sys/arch/x86/include/ |
| cpu.h | 251 vaddr_t vpage[VPAGE_MAX]; member in struct:cpu_info
|
| /src/sys/arch/sparc/include/ |
| cpu.h | 303 void * vpage[2]; member in struct:cpu_info
304 int *vpage_pte[2]; /* pte location of vpage[] */
|
