| 393 | #endif /* RT_DEBUGGING_PAGE_POISON */ |
| 394 | |
| 395 | static inline void *page_to_addr(rt_page_t page) |
| 396 | { |
| 397 | return (void *)(((page - page_start) << ARCH_PAGE_SHIFT) - PV_OFFSET); |
| 398 | } |
| 399 | |
| 400 | static inline rt_ubase_t page_to_paddr(rt_page_t page) |
| 401 | { |
no outgoing calls
no test coverage detected