254     char* src_kbuf1;  in TEST_P()  local
260     src_kbuf1 = paddr_to_kvaddr(vaddr_to_paddr((void*)(uintptr_t)addr));  in TEST_P()
265     EXPECT_EQ((src_kbuf1 == NULL), (arch_mmu_flags_start == FLAGS_NO_PAGE));  in TEST_P()
268     usercopy_test_init_buf(src_kbuf1, src_kbuf2, SRC_DATA, -1);  in TEST_P()
316     if (src_kbuf1) {  in TEST_P()
317         EXPECT_EQ(0, checkbuf(src_kbuf1, SRC_DATA, TEST_BUF1_SIZE));  in TEST_P()
337     char* src_kbuf1;  in TEST_P()  local
343     src_kbuf1 = paddr_to_kvaddr(vaddr_to_paddr((void*)(uintptr_t)addr));  in TEST_P()
348     EXPECT_EQ((src_kbuf1 == NULL), (arch_mmu_flags_start == FLAGS_NO_PAGE));  in TEST_P()
351     usercopy_test_init_buf(src_kbuf1, src_kbuf2, SRC_DATA, -1);  in TEST_P()
399     if (src_kbuf1) {  in TEST_P()
400         EXPECT_EQ(0, checkbuf(src_kbuf1, SRC_DATA, TEST_BUF1_SIZE));  in TEST_P()
414     char* src_kbuf1;  in usercopy_test_strlcpy_from_user_inner()  local
420     src_kbuf1 = paddr_to_kvaddr(vaddr_to_paddr((void*)(uintptr_t)addr));  in usercopy_test_strlcpy_from_user_inner()
425     EXPECT_EQ((src_kbuf1 == NULL), (arch_mmu_flags_start == FLAGS_NO_PAGE));  in usercopy_test_strlcpy_from_user_inner()
428     usercopy_test_init_buf(src_kbuf1, src_kbuf2, SRC_DATA, null_off);  in usercopy_test_strlcpy_from_user_inner()
488     if (src_kbuf1) {  in usercopy_test_strlcpy_from_user_inner()
490             EXPECT_EQ(0, checkbuf(src_kbuf1, SRC_DATA, null_off));  in usercopy_test_strlcpy_from_user_inner()
491             EXPECT_EQ('\0', src_kbuf1[null_off]);  in usercopy_test_strlcpy_from_user_inner()
492             EXPECT_EQ(0, checkbuf(src_kbuf1 + null_off + 1, SRC_DATA,  in usercopy_test_strlcpy_from_user_inner()
495             EXPECT_EQ(0, checkbuf(src_kbuf1, SRC_DATA, TEST_BUF1_SIZE));  in usercopy_test_strlcpy_from_user_inner()