Assertion list
kernel (primary) → CapableOf

Results from Ascent++: 144
kernelCapableOf run on the gpu 0.57
kernelCapableOf generate white milky juice 0.55
kernelCapableOf communicate with each other 0.53
kernelCapableOf copy datum 0.52
kernelCapableOf allocate memory 0.50
kernelCapableOf mount the root filesystem 0.50
kernelCapableOf run in kernel mode 0.50
kernelCapableOf provide interface 0.49
kernelCapableOf create a ram disk 0.48
kernelCapableOf kill the process 0.47
kernelCapableOf solve the problem 0.47
kernelCapableOf terminate the process 0.46
kernelCapableOf grind into paste 0.46
kernelCapableOf consist of the bran 0.43
kernelCapableOf handle the exception 0.43
kernelCapableOf tell the cpu 0.43
kernelCapableOf fall to the ground 0.42
kernelCapableOf interact with the hardware 0.42
kernelCapableOf run program 0.42
kernelCapableOf find inactive pages 0.41
kernelCapableOf act as abstraction layer 0.41
kernelCapableOf mount the boot device 0.39
kernelCapableOf send packet 0.39
kernelCapableOf take control 0.39
kernelCapableOf create space 0.38
kernelCapableOf free memory 0.38
kernelCapableOf load module 0.38
kernelCapableOf provide api 0.38
kernelCapableOf create process 0.37
kernelCapableOf keep track 0.37
kernelCapableOf run in parallel 0.37
kernelCapableOf return error 0.35
kernelCapableOf try to allocate page 0.35
kernelCapableOf handle the details of address r… 0.35
kernelCapableOf do better job 0.35
kernelCapableOf improve performance 0.34
kernelCapableOf behave in possible situation 0.33
kernelCapableOf come in a variety of colors 0.33
kernelCapableOf control the hardware 0.33
kernelCapableOf extract the root.lrp package 0.33
kernelCapableOf free page 0.33
kernelCapableOf free the memory 0.33
kernelCapableOf get larger 0.33
kernelCapableOf handle signal 0.33
kernelCapableOf print warning message 0.33
kernelCapableOf run /sbin/init 0.33
kernelCapableOf take care 0.33
kernelCapableOf write buffer 0.33
kernelCapableOf detect inconsistency 0.31
kernelCapableOf handle other applications 0.31
kernelCapableOf provide required abstraction 0.31
kernelCapableOf read file 0.31
kernelCapableOf suspend the process 0.31
kernelCapableOf switch to another 0.31
kernelCapableOf use old table 0.31
kernelCapableOf control system resources 0.28
kernelCapableOf handle the file system 0.28
kernelCapableOf light up the display 0.28
kernelCapableOf loop on panic 0.28
kernelCapableOf manage thread 0.28
kernelCapableOf process the request 0.28
kernelCapableOf provide the lowest-level abstra… 0.28
kernelCapableOf return required buffer size 0.28
kernelCapableOf run as host 0.28
kernelCapableOf start in normal osgi framework 0.28
kernelCapableOf try to mount the nfs share 0.28
kernelCapableOf und applikationen gegenseitig 0.28
kernelCapableOf report the error 0.26
kernelCapableOf allocate huge pages 0.25
kernelCapableOf be a layer of code 0.25
kernelCapableOf cache of result 0.25
kernelCapableOf check the amount of free space 0.25
kernelCapableOf continue to heat to about 347 d… 0.25
kernelCapableOf create a root device 0.25
kernelCapableOf create new one 0.25
kernelCapableOf deactivate smp 0.25
kernelCapableOf decide local port 0.25
kernelCapableOf detect a page fault 0.25
kernelCapableOf detect processor cores 0.25
kernelCapableOf detect the number of processors 0.25
kernelCapableOf dissolve in water 0.25
kernelCapableOf end up in the sample cup 0.25
kernelCapableOf enforce policy 0.25
kernelCapableOf enter infinite loop 0.25
kernelCapableOf execute the system call 0.25
kernelCapableOf fall into the bowl 0.25
kernelCapableOf fall through to older code 0.25
kernelCapableOf implement abi version 0.25
kernelCapableOf incorporate similar functionali… 0.25
kernelCapableOf initialize device 0.25
kernelCapableOf load the code of the program 0.25
kernelCapableOf locate a root partition 0.25
kernelCapableOf look at the cpu usage 0.25
kernelCapableOf maintain a watchdog timer 0.25
kernelCapableOf make call 0.25
kernelCapableOf make use of the usermoder helper 0.25
kernelCapableOf map the zero page 0.25
kernelCapableOf perform task 0.25
kernelCapableOf perform usual boot sequence 0.25
kernelCapableOf preempt the process 0.25
kernelCapableOf prevent different cors/cpus 0.25
kernelCapableOf process to bring out rich vitam… 0.25
kernelCapableOf provide all the essential servi… 0.25
kernelCapableOf read the tsc 0.25
kernelCapableOf reclaim memory 0.25
kernelCapableOf remain extensible 0.25
kernelCapableOf remain unpopped 0.25
kernelCapableOf return the starting address 0.25
kernelCapableOf scan down the list of modules 0.25
kernelCapableOf send event 0.25
kernelCapableOf send rst 0.25
kernelCapableOf sit in shallow puddle of it 0.25
kernelCapableOf spread out over the base of the… 0.25
kernelCapableOf start the swapper process 0.25
kernelCapableOf start to wrinkle 0.25
kernelCapableOf start up in first boot-up phase 0.25
kernelCapableOf stop the child process 0.25
kernelCapableOf support ext3-filesystem 0.25
kernelCapableOf take long time 0.25
kernelCapableOf take over the system 0.25
kernelCapableOf try to allocate other resources 0.25
kernelCapableOf update the cpus_allowed of all … 0.25
kernelCapableOf use built-in rule 0.25
kernelCapableOf use shared memory 0.25
kernelCapableOf use the ec2 interface 0.25
kernelCapableOf use the framebuffer 0.25
kernelCapableOf use the microcode fixes 0.25
kernelCapableOf use value 0.25
kernelCapableOf vary in size 0.25
kernelCapableOf become unresponsive 0.22
kernelCapableOf corrupt four bytes of memory 0.22
kernelCapableOf crash in red hat enterprise lin… 0.20
kernelCapableOf do good job 0.20
kernelCapableOf fail to parse command stream 0.20
kernelCapableOf get to nut 0.20
kernelCapableOf press to deliver functional, vi… 0.20
kernelCapableOf bring a number of other improve… 0.16
kernelCapableOf crash with a divide error 0.16
kernelCapableOf dereference invalid pointer 0.16
kernelCapableOf disable irq14 0.16
kernelCapableOf fail to bring cpu 0.16
kernelCapableOf improve the security of the sys… 0.16
kernelCapableOf panic with negative nfs_inode.n… 0.16
kernelCapableOf try to load aacraid driver 0.16