Searched refs:page_no (Results 1 – 1 of 1) sorted by relevance
986 static void show_page_name(int page_no) in show_page_name() argument988 switch (page_no) { in show_page_name()1045 printf(" 0x%.2x\n", page_no); in show_page_name()5654 static int do_user_page(int page_code, int page_no) in do_user_page() argument5663 SETUP_MODE_PAGE(page_no, 0); in do_user_page()