/* @pgtable: Pointer to a 24iKB block of memory  */
static void build_pagetable(uint32_t *pgtable)
/* @pgtable: Pointer to a 24iKB block of memory  */
static void build_pagetable(uint32_t *pgtable)
{
	uint i;
	memset(pgtable, '\0', PAGETABLE_SIZE);
	pgtable[0] = (ulong)&pgtable[1024] + 7;
	for (i = 0; i < 4; i++)
		pgtable[1024 + i * 2] = (ulong)&pgtable[2048] + 0x1000 * i + 7;
	for (i = 0; i < 2048; i++)
		pgtable[2048 + i * 2] = 0x183 + (i << 21UL);
}