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

/l4re-core-master/sigma0/server/src/
A D	memmap.cc	160 bool inst_fetch = l4_utcb_mr_u(utcb)->mr[0] & 4; in handle_page_fault() local 163 L4_fpage_rights dr = inst_fetch ? (write ? L4_FPAGE_RWX : L4_FPAGE_RX) in handle_page_fault()

Completed in 4 milliseconds

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