AllocatePage

184

uint64* page = CurrentRegime.AllocatePage();

288

sTTBR0 = CurrentRegime.AllocatePage();

289

sTTBR1 = CurrentRegime.AllocatePage();

210

uint64* AllocatePage(void) {

238

AllocatePage(page_num_t pageNumber)

2791

TA(AllocatePage(page->physical_page_number)));

2793

TA(AllocatePage(page->physical_page_number));