Sign in
linux
/
linux
/
kernel
/
git
/
torvalds
/
linux.git
/
86f54f9b6c17d6567c69e3a6fed52fdf5d7dbe93
/
.
/
tools
/
verification
/
models
/
rtapp
/
pagefault.ltl
blob: d7ce62102733693efa54a3041b25362fef327e23 [
file
] [
log
] [
blame
]
RULE
=
always
(
RT imply
not
PAGEFAULT
)
