Searched refs:virtaddr (Results 1 – 1 of 1) sorted by relevance
91 MS_U32 virtaddr; in main() local128 virtaddr = MsOS_MPool_PA2KSEG1(0x10000000); in main()130 printf("virtaddr = %x\n", virtaddr); in main()131 pVirtaddr = (MS_U32 *)virtaddr; in main()143 MsOS_Dcache_Flush(virtaddr, 4); in main()