Searched refs:page_root_entry_scalar (Results 1 – 2 of 2) sorted by relevance
107 typedef uint32 page_root_entry_scalar; typedef
140 *(page_root_entry_scalar *)entry = DFL_ROOTENT_VAL; in init_page_root_entry()148 *(page_root_entry_scalar *)entry = *(page_root_entry_scalar *)with; in update_page_root_entry()