Home | Sort by: relevance | last modified time | path |
/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[] */ |
/src/sys/arch/x86/include/ | |
cpu.h | 251 vaddr_t vpage[VPAGE_MAX]; member in struct:cpu_info |