0

单片机中的虚拟地址和物理地址

• qy2110000 发布于
• 1107 收藏

对于内核物理内存映射区的虚拟内存，使用virt_to_phys()可以实现内核虚拟地址转化为物理地址，phys_to_virt()可以实现物理地址转化为内核虚拟地址。 #define __virt_to_phys(x)       ((x) - PAGE_OFFSET + PHYS_OFFSET)   static inline unsigned long virt_to_phys(void...

0

基础数论入门

• qy2110000 发布于
• 1310 收藏

（一）定理和性质 一、裴蜀定理 如果 a,b∈Na,b∈N , (a,b)=d(a,b)=d 那么一定存在 x,yx,y 使得 d|(a∗x+b∗y)d|(a∗x+b∗y) 证明：非常简单，鉴于可能有数论刚入门的OIer所以这里简单证明一下： 因为(a,b)=d(a,b)=d 所以我们就可以假设 a=p∗da=p∗d , b=q∗db=q∗d 那么a∗x+b∗y=p∗d∗x+q...