Searched refs:PFEC_reserved_bit (Results 1 – 6 of 6) sorted by relevance
155 gw->pfec |= PFEC_reserved_bit | PFEC_page_present; in guest_walk_tables()190 gw->pfec |= PFEC_reserved_bit | PFEC_page_present; in guest_walk_tables()248 gw->pfec |= PFEC_reserved_bit | PFEC_page_present; in guest_walk_tables()301 gw->pfec |= PFEC_reserved_bit | PFEC_page_present; in guest_walk_tables()380 gw->pfec |= PFEC_reserved_bit | PFEC_page_present; in guest_walk_tables()
1827 *pfec = PFEC_reserved_bit | PFEC_page_present; in map_domain_gfn()
1430 if ( !(regs->error_code & (PFEC_user_mode | PFEC_reserved_bit)) && in fixup_page_fault()1439 !(regs->error_code & (PFEC_reserved_bit | PFEC_insn_fetch)) && in fixup_page_fault()1508 if ( error_code & PFEC_reserved_bit ) in do_page_fault()
461 gw->pfec & PFEC_reserved_bit ? 'R' : '-', in print_gw()
68 #define PFEC_reserved_bit (_AC(1,U) << 3) macro
2848 if ( (regs->error_code & PFEC_reserved_bit) ) in sh_page_fault()2869 regs->error_code ^= (PFEC_reserved_bit|PFEC_page_present); in sh_page_fault()2888 regs->error_code ^= (PFEC_reserved_bit|PFEC_page_present); in sh_page_fault()
Completed in 31 milliseconds