/* Initialize all page table entries to be illegal.  */
static void init_page_table(uint32_t *ptable, size_t num_entries)
/* Initialize all page table entries to be illegal.  */
static void init_page_table(uint32_t *ptable, size_t num_entries)
{
	int i;
	for (i = 0; i < num_entries; i++) {
		ptable[i] = XTENSA_MMU_PTE_ILLEGAL;
	}
}