genode/base-nova/include/32bit
2012-06-22 11:38:14 +02:00
..
nova NOVA: Use right syscall function for ec_ctrl 2012-06-22 11:38:14 +02:00