Basic definitions

#define WRITE_UINT64 ( ullValue, ullAddr   )     (*((volatile UINT64 *)(ullAddr)) = (ullValue)) Write a UINT64 ullAddr to ullAddr. 在文件los_base.h第152行定义。