psm_map
va = (void *)psm_map((paddr_t)(start&0xffffffff),
len = (int *)psm_map(
va = psm_map((paddr_t)(start&0xffffffff),