/* ZERO_PAGE is a special page that is used for zero-initialized data and COW.  */
pmd_t* __bad_pagetable(void)
/* ZERO_PAGE is a special page that is used for zero-initialized data and COW.  */
pmd_t* __bad_pagetable(void)
{
	memset((void *) EMPTY_PGT, 0, PAGE_SIZE);
	return (pmd_t *) EMPTY_PGT;
}