Searched defs:atags_vaddr (Results 1 – 2 of 2) sorted by relevance
177 setup_machine_tags(void *atags_vaddr, unsigned int machine_nr) in setup_machine_tags()
1105 void *atags_vaddr = NULL; in setup_arch() local