Searched refs:init_start (Results 1 – 1 of 1) sorted by relevance
100 char *init_start = (void *)init_mpr_align_start; in on_page_fault() local103 (char *)msg->fault_vaddr >= init_start) in on_page_fault()105 rt_size_t offset = (char *)msg->fault_vaddr - init_start; in on_page_fault()
Completed in 5 milliseconds