Searched refs:pmap_redzone (Results 1 – 5 of 5) sorted by relevance
91 void pmap_redzone(vaddr_t, vaddr_t, int);
271 void pmap_redzone(void);
205 pmap_redzone(); in cpu_startup()
333 pmap_redzone(); in cpu_startup()
7438 pmap_redzone(void) in pmap_redzone() function