On 2013-04-06 20:27, Gilles Chanteperdrix wrote: >> And it has to map directly to might_fault >> in case CONFIG_IPIPE_DEBUG_CONTEXT is disabled (thus zero overhead). > > That would defeat the purpose of the patch. might_fault can not be > called over non root domains.
True. But we should avoid leaving the costly irq-disable/enable and domain checks in production code behind when might_fault actually resolves to a nop. That should be the case for !CONFIG_DEBUG_ATOMIC_SLEEP && !CONFIG_PROVE_LOCKING. Jan -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 263 bytes Desc: OpenPGP digital signature URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20130406/8620c91d/attachment.pgp> _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
