FreeBSD/sys/amd64/vmm/amd/npt.c
/*
 * AMD nested page table init.
 */
AMD nested page table init.
AMD nested page table init .
int
svm_npt_init(int ipinum)
{
	int enable_superpage = 1;
	npt_flags = ipinum & NPT_IPIMASK;
	TUNABLE_INT_FETCH("hw.vmm.npt.enable_superpage", &enable_superpage);
	if (enable_superpage)
		npt_flags |= PMAP_PDE_SUPERPAGE; 
	return (0);
}
int svm_npt_init ( int ipinum ) { int enable_superpage = 1 ; npt_flags = ipinum & NPT_IPIMASK ; TUNABLE_INT_FETCH ( " " , & enable_superpage ) ; if ( enable_superpage ) npt_flags |= PMAP_PDE_SUPERPAGE ; return ( 0 ) ; }
AMD nested page table init.
AMD nested page table init .