Searched refs:tags_addr (Results 1 – 3 of 3) sorted by relevance
34 u32 tags_addr; /* physical addr for kernel tags */ member
192 printf("%stags address: %x\n", p, hdr->tags_addr); in android_print_contents()
21 unsigned tags_addr; /* physical addr for kernel tags */