Lines Matching refs:uint32_t
44 uint32_t r[13];
45 uint32_t sp;
46 uint32_t lr;
47 uint32_t pc;
48 uint32_t cpsr;
49 uint32_t fsr;
50 uint32_t far;
60 extern void arm_set_threadpid_user_readonly(uint32_t * address);
61 extern void arm_set_threadpid_priv_readwrite(uint32_t * address);
72 void arm_vm_init(uint32_t mem_limit, boot_args * args);