Searched refs:getlastkerneladdr (Results 1 – 4 of 4) sorted by relevance
94 vm_offset_t getlastkerneladdr(void);
80 getlastkerneladdr(void) in getlastkerneladdr() function
1716 …end_kern = round_page(segHIGHESTKC ? segHIGHESTKC : getlastkerneladdr()); /* Force end to next pag… in arm_vm_init()
2110 …end_kern = round_page(segHIGHESTKC ? segHIGHESTKC : getlastkerneladdr()); /* Force end to next pag… in arm_vm_init()