Comments (2)
At the kernel/userspace boundary, there is no real type information, just numbers in registers (ABI docs).
The cast here doesn't change the value, it just coerces to the number to the type expected by the syscall interface. Userspace will get that same number, and can just cast back to the i32
or int32_t
or whatever is appropriate for the runtime in use.
from tock.
Thanks a lot for your reply. I think I found the difference between version 2.1.1 and the master branch that the conversion from f32
to usize
(in 2.1.1) will lost value, but on the other side, the conversion from f32
to usize
via i32
(in the master branch) will keep the value.
from tock.
Related Issues (20)
- kernel: uart: configurable rx buffer sizes at compile time (?) HOT 3
- AppID: Separate checking credentials from assigning identifiers HOT 1
- Add an Asynchronous Process Loader HOT 3
- Tracking: OpenThread Support HOT 13
- Hard code require kernel version in process loading HOT 8
- Shared references of mutable static warnings HOT 8
- Move implementations of kernel configuration tools to capsules
- Kernel Unit Testing HOT 4
- tock_memory_usage: SyntaxWarning: invalid escape sequence '\S'
- AppID Roadmap HOT 1
- RFC: Expand Alarm Range HOT 8
- License checker incorrectly rejects `.txt` files HOT 1
- Tracking: Tockbot HOT 1
- IEEE 802.15.4: Receive Raw
- RFC: Flash Storage with Isolation HOT 8
- Tracking: Implement Configuration Boards
- Writing the Tock OS kernel to the stm32f303discovery development board failed. HOT 5
- 6LoWPAN Indexing Bug HOT 3
- Alarm: Change prescaler for NRF 5x boards HOT 2
- Tracking: WiFi Support
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tock.