Synopsis

#include <sys/mm.h>

addr_t phMemVirt2Phys(void *va);

Description

Return value