bioscallscratchpage   68 arch/i386/i386/kvm86.c void *bioscallscratchpage;
bioscallscratchpage  118 arch/i386/i386/kvm86.c 	if ((bioscallscratchpage = (void *)uvm_km_alloc(kernel_map, PAGE_SIZE))
bioscallscratchpage  122 arch/i386/i386/kvm86.c 	pmap_extract(pmap_kernel(), (vaddr_t)bioscallscratchpage, &pa);
bioscallscratchpage  233 arch/i386/i386/kvm86.c 	memcpy(bioscallscratchpage, call, sizeof(call));
bioscallscratchpage  234 arch/i386/i386/kvm86.c 	*((unsigned char *)bioscallscratchpage + 2) = intno;