Searched refs:luf (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/api/
A D	faults.c	30 lookup_fault_t luf, unsigned int offset) in setMRs_lookup_failure() argument 32 word_t lufType = lookup_fault_get_lufType(luf); in setMRs_lookup_failure() 53 lookup_fault_missing_capability_get_bitsLeft(luf)); in setMRs_lookup_failure() 57 lookup_fault_depth_mismatch_get_bitsLeft(luf)); in setMRs_lookup_failure() 59 lookup_fault_depth_mismatch_get_bitsFound(luf)); in setMRs_lookup_failure() 63 lookup_fault_guard_mismatch_get_bitsLeft(luf)); in setMRs_lookup_failure() 65 lookup_fault_guard_mismatch_get_guardFound(luf)); in setMRs_lookup_failure() 67 lookup_fault_guard_mismatch_get_bitsFound(luf)); in setMRs_lookup_failure()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023