Searched refs:kernel_address (Results 1 – 6 of 6) sorted by relevance
590 for (i = 0; i < pgd_index(lg->kernel_address); i++) in flush_user_mappings()872 if (vaddr >= cpu->lg->kernel_address) { in guest_set_pte()1091 if (get_user(cpu->lg->kernel_address, in page_table_guest_data_init()1092 &cpu->lg->lguest_data->kernel_address) in page_table_guest_data_init()1109 if (pgd_index(cpu->lg->kernel_address) == SWITCHER_PGD_INDEX && in page_table_guest_data_init()1110 pmd_index(cpu->lg->kernel_address) == SWITCHER_PMD_INDEX) in page_table_guest_data_init()1112 if (pgd_index(cpu->lg->kernel_address) >= SWITCHER_PGD_INDEX) in page_table_guest_data_init()1115 cpu->lg->kernel_address); in page_table_guest_data_init()
103 unsigned long kernel_address; member
69 unsigned long kernel_address; member
66 char kernel_address[ADDRESS_LEN]; member
76 sscanf(buf->kernel_address, "%u", &kerneladdr); in parse_cfe_partitions()
85 .kernel_address = PAGE_OFFSET,